diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-11-07 18:24:08 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-11-07 18:25:49 +0000 |
| commit | 6840f7ce9cae76295ecedd92114829b413fdd6bb (patch) | |
| tree | 2331ca711cf9c1926bf336a518ef6dd840ac5725 /src/buffer_manager.cc | |
| parent | 6bb775241cf44fa2aec40c1fa0294e8b7379cf70 (diff) | |
Store the last used buffer in clients
Fixes #474
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 9 |
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) |
