diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-09-28 14:14:49 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-09-28 14:14:49 +0200 |
| commit | f230feec7f18fcea705cd4d6e507d2256d1658f8 (patch) | |
| tree | 95872aeeac6df720255d8e08391a473e966acefc /src/buffer_manager.hh | |
| parent | 79d8d082bd83782c2f0236b753af71cf3934818b (diff) | |
Change buffer order based on the last one used
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index fd6ca23f..ca84c9e8 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -27,6 +27,7 @@ public: size_t count() const { return m_buffers.size(); } Buffer* get_buffer(const String& name); + void set_last_used_buffer(Buffer& buffer); CandidateList complete_buffername(const String& prefix, CharCount cursor_pos = -1); |