Change buffer order based on the last one used

1 files changed, 10 insertions, 0 deletions

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)
 {