diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-01-26 19:40:48 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-01-26 19:40:48 +0000 |
| commit | 92cb3a035fb210b8c8da9a7434369741421a18a8 (patch) | |
| tree | 8bb1cf6352ddca1886e7391a6b5dc80fa3179ce5 /src/buffer_manager.cc | |
| parent | 42966317b8c91f907a681dabdce2d0fdb17bbbd9 (diff) | |
Try to improve ga behaviour
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 4 |
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); |
