summaryrefslogtreecommitdiff
path: root/src/buffer_manager.cc
diff options
context:
space:
mode:
authorMaxime Coste <frrrwww@gmail.com>2015-11-07 18:24:08 +0000
committerMaxime Coste <frrrwww@gmail.com>2015-11-07 18:25:49 +0000
commit6840f7ce9cae76295ecedd92114829b413fdd6bb (patch)
tree2331ca711cf9c1926bf336a518ef6dd840ac5725 /src/buffer_manager.cc
parent6bb775241cf44fa2aec40c1fa0294e8b7379cf70 (diff)
Store the last used buffer in clients
Fixes #474
Diffstat (limited to 'src/buffer_manager.cc')
-rw-r--r--src/buffer_manager.cc9
1 files changed, 0 insertions, 9 deletions
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<Buffer>& 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)