diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-05-13 20:32:53 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-05-14 08:17:52 +0100 |
| commit | ba421e45f7b97c5e7ba28efe4f148fb3ba87a22c (patch) | |
| tree | b3f80be6aabacc03718e7ff9b9afb8202e548309 /src/buffer_manager.cc | |
| parent | 7f2b3f01322617bc7f215f0487151661b2f11aa5 (diff) | |
Delay window deletion until we get back to main loop
Avoid WinResize hooks while redrawing, ensure window resize only
take place while handling user input.
Fixes #672
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index bb9f7902..82b17037 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -109,6 +109,7 @@ void BufferManager::clear_buffer_trash() // Do that again, to be tolerant in some corner cases, where a buffer is // deleted during its creation ClientManager::instance().ensure_no_client_uses_buffer(*buffer); + ClientManager::instance().clear_window_trash(); delete buffer; } |
