diff options
author | Victor Kareh <[email protected]> | 2019-05-23 12:47:16 -0400 |
---|---|---|
committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
commit | 3c8f71bcee1ad79266ff2e2ddbd679364c617164 (patch) | |
tree | 724eecde8e06c28dd3614879de331b251a089dc1 /src/ui/fixedtip.c | |
parent | 4666622743b138764a281da908ef88981b5dc31a (diff) | |
download | marco-3c8f71bcee1ad79266ff2e2ddbd679364c617164.tar.bz2 marco-3c8f71bcee1ad79266ff2e2ddbd679364c617164.tar.xz |
theme: don't add invisible borders for windows that can't be resized
Invisible borders are all about resizing -- in the case that a window
cannot be resized, it makes no sense to add them.
https://bugzilla.gnome.org/show_bug.cgi?id=659854
Based on mutter commit:
https://git.gnome.org/browse/mutter/commit/?id=be9f7d77292c1dfd868640fe95f7223fbbfd4273
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/64615667
Diffstat (limited to 'src/ui/fixedtip.c')
0 files changed, 0 insertions, 0 deletions