diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2016-07-27 12:17:42 +0200 |
|---|---|---|
| committer | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2016-07-27 12:17:42 +0200 |
| commit | f8a75224292ce989d7089e5f7cf0dbdf0b4334e2 (patch) | |
| tree | 2c11f06f51f5195f3bfac92b1a3dc3b575938715 | |
| parent | cd32d94f8f692d5dd9bc5814d60931f413712ca0 (diff) | |
DecoratedWindow: don't mark an unmapped window as dirty geo
This was causing a new paint on a window that was about to be destroyed with invalid id, and thus with no shape informations (bzr r4067.8.11)
| -rw-r--r-- | decorations/DecoratedWindow.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/decorations/DecoratedWindow.cpp b/decorations/DecoratedWindow.cpp index c9b4f650d..9d983a277 100644 --- a/decorations/DecoratedWindow.cpp +++ b/decorations/DecoratedWindow.cpp @@ -829,6 +829,9 @@ void Window::Impl::Damage() void Window::Impl::RedrawDecorations() { + if (!win_->isMapped()) + return; + dirty_geo_ = true; cwin_->damageOutputExtents(); } |
