diff options
| author | Victor Kareh <[email protected]> | 2019-05-23 12:50:54 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-06-16 18:12:44 +0200 |
| commit | 51d0f30ee0bfa70e37042e4ec1544b0a8d27ad0f (patch) | |
| tree | 5d457b29601249a8cf33b864785ffce0faf2d6bd /.github | |
| parent | a72d3dd0d76908f1cb76503e78edce2ee14f920b (diff) | |
| download | marco-51d0f30ee0bfa70e37042e4ec1544b0a8d27ad0f.tar.bz2 marco-51d0f30ee0bfa70e37042e4ec1544b0a8d27ad0f.tar.xz | |
frame: Make sure to offset by invisible borders when unmanaging windows
When we reparent a window to the root when we're exiting, we need to offset
the position by the invisible borders, otherwise windows will creep up and
to the left.
https://bugzilla.gnome.org/show_bug.cgi?id=660848
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/9fe51fd0
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions