diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-03-22 14:26:44 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-03-22 14:26:44 +0100 |
| commit | 5bba01ca9cdd8c5ca84b475d305ee5e55dd82da3 (patch) | |
| tree | d3db56a891c6020181691a1351be710f52251a21 /src/buffer_manager.cc | |
| parent | 9494fbbd87eb9601bd9a82940c84995d17de1a6a (diff) | |
BufferManager notify the ClientManager when a buffer dies
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index d482f28a..0fae2a17 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -4,6 +4,7 @@ #include "buffer.hh" #include "exception.hh" #include "string.hh" +#include "client_manager.hh" namespace Kakoune { @@ -35,6 +36,8 @@ void BufferManager::unregister_buffer(Buffer& buffer) { if (*it == &buffer) { + if (ClientManager::has_instance()) + ClientManager::instance().ensure_no_client_uses_buffer(buffer); m_buffers.erase(it); return; } |
