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/client_manager.cc | |
| parent | 6bb775241cf44fa2aec40c1fa0294e8b7379cf70 (diff) | |
Store the last used buffer in clients
Fixes #474
Diffstat (limited to 'src/client_manager.cc')
| -rw-r--r-- | src/client_manager.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/client_manager.cc b/src/client_manager.cc index ceceb15f..40bf1d02 100644 --- a/src/client_manager.cc +++ b/src/client_manager.cc @@ -109,6 +109,8 @@ void ClientManager::ensure_no_client_uses_buffer(Buffer& buffer) for (auto& client : m_clients) { client->context().forget_jumps_to_buffer(buffer); + if (client->last_buffer() == &buffer) + client->set_last_buffer(nullptr); if (&client->context().buffer() != &buffer) continue; |