Defer deletion of buffers to after the event loop

We can have SelectionList in flights on the buffer, so mark
it for deletion by moving it in a buffer trash, and effectively
delete it later, at a point where there should not be any further
access to it.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh
index cd7029ea..474833c4 100644
--- a/src/buffer_manager.hh
+++ b/src/buffer_manager.hh
@@ -37,8 +37,10 @@ public:
     CandidateList complete_buffer_name(StringView prefix,
                                        ByteCount cursor_pos = -1);
 
+    void clear_buffer_trash();
 private:
     BufferList m_buffers;
+    BufferList m_buffer_trash;
 };
 
 }