From 6840f7ce9cae76295ecedd92114829b413fdd6bb Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Sat, 7 Nov 2015 18:24:08 +0000 Subject: Store the last used buffer in clients Fixes #474 --- src/buffer_manager.cc | 9 --------- 1 file changed, 9 deletions(-) (limited to 'src/buffer_manager.cc') diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index e7d7d5c2..efd0c964 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -89,15 +89,6 @@ Buffer& BufferManager::get_buffer(StringView name) return *res; } -void BufferManager::set_last_used_buffer(Buffer& buffer) -{ - auto it = find_if(m_buffers, [&buffer](const SafePtr& p) - { return p.get() == &buffer; }); - kak_assert(it != m_buffers.end()); - m_buffers.erase(it); - m_buffers.emplace(m_buffers.begin(), &buffer); -} - void BufferManager::backup_modified_buffers() { for (auto& buf : m_buffers) -- cgit v1.2.3