diff options
author | Victor Kareh <[email protected]> | 2019-05-23 11:52:34 -0400 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-06-16 18:12:44 +0200 |
commit | a0461b58188917ee5c252b4efde55d2aee01aae1 (patch) | |
tree | 364460bf90ac7b771ede7403e1f018d111992818 /src/ui/theme-parser.h | |
parent | 2ebdf88ca21f48f25451777a4871dd854dda0d91 (diff) | |
download | marco-a0461b58188917ee5c252b4efde55d2aee01aae1.tar.bz2 marco-a0461b58188917ee5c252b4efde55d2aee01aae1.tar.xz |
theme: Don't add any bottom border to shaded windows
Shaded windows are assumed to be reduced to the titlebar: the
current code enforces a visible bottom border of 0 and only takes
the size of the title bar (+ invisible top border) into account
when resizing the frame. However, we still add an invisible border
at the bottom, which is than subtracted from the title bar, resulting
in shaded windows being cut off.
Fix by forcing both visible and invisible bottom borders to 0.
https://bugzilla.gnome.org/show_bug.cgi?id=659266
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/7a80fcfd
Diffstat (limited to 'src/ui/theme-parser.h')
0 files changed, 0 insertions, 0 deletions