diff options
author | Victor Kareh <[email protected]> | 2019-05-23 13:00:18 -0400 |
---|---|---|
committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
commit | 12fe28bb1eaa53b8673d7f08c3168f3af7291de8 (patch) | |
tree | 3123fad4b48e736c2f3f02d06354be91d90c12f8 /src/ui/fixedtip.c | |
parent | 37db3c9e5d07ad8b813107be7cd4ae622793e2aa (diff) | |
download | marco-12fe28bb1eaa53b8673d7f08c3168f3af7291de8.tar.bz2 marco-12fe28bb1eaa53b8673d7f08c3168f3af7291de8.tar.xz |
frames: Fall back to title bar if nothing else matched
The condition got removed in eeb2efe01001fef7655b2ba95ca1456f7fe9214b but that
had a side effect of adding a couple of rows of dead pixels so add it back.
https://bugzilla.gnome.org/show_bug.cgi?id=658069
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/37e1fa8c
Diffstat (limited to 'src/ui/fixedtip.c')
0 files changed, 0 insertions, 0 deletions