summaryrefslogtreecommitdiff
path: root/src/buffer_manager.cc
diff options
context:
space:
mode:
authorMaxime Coste <frrrwww@gmail.com>2016-10-13 21:37:44 +0100
committerMaxime Coste <frrrwww@gmail.com>2016-10-13 21:37:44 +0100
commitcc2affea11781d4ad1e1b9d7a9c7d729064c2c10 (patch)
tree19a29d79cb0ccd52ddfd5a45db0537c4bda28830 /src/buffer_manager.cc
parent5af29b025419fa3df9f82b99478f64e6e13855d4 (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.cc4
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();
}