From 2204b7cf0667cc1124606c9882aba82dcf650fc3 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Tue, 12 Aug 2014 19:24:09 +0100
Subject: 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.
---
 src/buffer_manager.hh | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/buffer_manager.hh')

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;
 };
 
 }
-- 
cgit v1.2.3