From f230feec7f18fcea705cd4d6e507d2256d1658f8 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Fri, 28 Sep 2012 14:14:49 +0200 Subject: Change buffer order based on the last one used --- src/buffer_manager.cc | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'src/buffer_manager.cc') diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index 75d0e94c..d2f7857f 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -52,6 +52,16 @@ Buffer* BufferManager::get_buffer(const String& name) return nullptr; } +void BufferManager::set_last_used_buffer(Buffer& buffer) +{ + auto it = m_buffers.begin(); + while (*it != &buffer and it != m_buffers.end()) + ++it; + assert(it != m_buffers.end()); + m_buffers.erase(it); + m_buffers.emplace(m_buffers.begin(), &buffer); +} + CandidateList BufferManager::complete_buffername(const String& prefix, CharCount cursor_pos) { -- cgit v1.2.3