diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-10-13 21:37:44 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-10-13 21:37:44 +0100 |
| commit | cc2affea11781d4ad1e1b9d7a9c7d729064c2c10 (patch) | |
| tree | 19a29d79cb0ccd52ddfd5a45db0537c4bda28830 /src/buffer_manager.cc | |
| parent | 5af29b025419fa3df9f82b99478f64e6e13855d4 (diff) | |
Always allow to delete a buffer, just recreate a scratch buffer if needed
Fixes #850
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index bc88a752..ea6519e2 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -57,11 +57,11 @@ void BufferManager::delete_buffer(Buffer& buffer) { return p.get() == &buffer; }); kak_assert(it != m_buffers.end()); - ClientManager::instance().ensure_no_client_uses_buffer(buffer); - m_buffer_trash.emplace_back(std::move(*it)); m_buffers.erase(it); + ClientManager::instance().ensure_no_client_uses_buffer(buffer); + buffer.on_unregistered(); } |
