diff options
| author | Victor Kareh <[email protected]> | 2019-05-23 12:50:54 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
| commit | 094a7e7054de6d356cd1167088235c9c06ccbe97 (patch) | |
| tree | 0798bff73a57ff570195dc35814ad46119507766 /src/ui/theme.c | |
| parent | 6253f11d31e26b910c9722eeab0cb1b6df5faaa0 (diff) | |
| download | marco-094a7e7054de6d356cd1167088235c9c06ccbe97.tar.bz2 marco-094a7e7054de6d356cd1167088235c9c06ccbe97.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 'src/ui/theme.c')
0 files changed, 0 insertions, 0 deletions