summaryrefslogtreecommitdiff
path: root/src/buffer_manager.cc
diff options
context:
space:
mode:
authorMaxime Coste <frrrwww@gmail.com>2015-01-26 19:40:48 +0000
committerMaxime Coste <frrrwww@gmail.com>2015-01-26 19:40:48 +0000
commit92cb3a035fb210b8c8da9a7434369741421a18a8 (patch)
tree8bb1cf6352ddca1886e7391a6b5dc80fa3179ce5 /src/buffer_manager.cc
parent42966317b8c91f907a681dabdce2d0fdb17bbbd9 (diff)
Try to improve ga behaviour
Diffstat (limited to 'src/buffer_manager.cc')
-rw-r--r--src/buffer_manager.cc4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc
index 109366f6..74cacdb2 100644
--- a/src/buffer_manager.cc
+++ b/src/buffer_manager.cc
@@ -98,9 +98,7 @@ Buffer& BufferManager::get_buffer(StringView name)
void BufferManager::set_last_used_buffer(Buffer& buffer)
{
- auto it = m_buffers.begin();
- while (*it != &buffer and it != m_buffers.end())
- ++it;
+ auto it = find(m_buffers, &buffer);
kak_assert(it != m_buffers.end());
m_buffers.erase(it);
m_buffers.emplace(m_buffers.begin(), &buffer);