diff options
author | Victor Kareh <[email protected]> | 2019-05-23 12:47:16 -0400 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-06-16 18:12:44 +0200 |
commit | 2ac1d18675a54990bc2ac65f0cbafc8cfe7623bb (patch) | |
tree | 9eed9bd5dbeabb0e8dde3f8dac6750ae2ed09f3a /src/core/workspace.c | |
parent | 6c035dbf928b04e054e6756ac312d981970ccf7f (diff) | |
download | marco-2ac1d18675a54990bc2ac65f0cbafc8cfe7623bb.tar.bz2 marco-2ac1d18675a54990bc2ac65f0cbafc8cfe7623bb.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/core/workspace.c')
0 files changed, 0 insertions, 0 deletions