| commit | 57e090746e45b941cc313d464f99b7826fdf7ba5 | [log] [tgz] |
|---|---|---|
| author | Kristian Høgsberg <krh@bitplanet.net> | Tue Oct 30 14:07:27 2012 -0400 |
| committer | Kristian Høgsberg <krh@bitplanet.net> | Tue Oct 30 14:09:36 2012 -0400 |
| tree | e84f1dee2b2f605135125ae9e63541e543eda775 | |
| parent | 5df8ecac5d31467122a9d8bda6241d5957ae6848 [diff] |
shell: End popups if we trigger a shell grab Clicking outside popups closes them except in case of a shell grab (move, resize or rotate), in which case we move the parent window away from under the popup. Instead, just end the popup in those cases. https://bugs.freedesktop.org/show_bug.cgi?id=55674