diff options
| author | Victor Kareh <[email protected]> | 2019-05-23 13:00:18 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-06-16 18:12:44 +0200 |
| commit | 5aa10796218606ae93d2fec4692c27d0264c07f9 (patch) | |
| tree | d7f295dd18e853b4a1ac4bef055100af6b086e30 /src/core/prefs.c | |
| parent | b989f7fbf5fc643e8ec91a96ee4e6d8a3192cf63 (diff) | |
| download | marco-5aa10796218606ae93d2fec4692c27d0264c07f9.tar.bz2 marco-5aa10796218606ae93d2fec4692c27d0264c07f9.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/core/prefs.c')
0 files changed, 0 insertions, 0 deletions