diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-08-12 19:24:09 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-08-12 19:24:09 +0100 |
| commit | 2204b7cf0667cc1124606c9882aba82dcf650fc3 (patch) | |
| tree | 8a892df4dbf8cacc8178f12ced9a61570e463750 /src/client_manager.hh | |
| parent | e2b3dd0ca4b71fd7cfcceeba35b97497631e72bd (diff) | |
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.
Diffstat (limited to 'src/client_manager.hh')
| -rw-r--r-- | src/client_manager.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client_manager.hh b/src/client_manager.hh index 410adab5..e4d6da43 100644 --- a/src/client_manager.hh +++ b/src/client_manager.hh @@ -34,6 +34,7 @@ public: void add_free_window(std::unique_ptr<Window>&& window, SelectionList selections); void redraw_clients() const; + void clear_mode_trashes() const; Client* get_client_ifp(const String& name); Client& get_client(const String& name); |
