diff options
| author | Victor Kareh <[email protected]> | 2018-08-26 17:46:51 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2018-08-28 09:39:37 -0400 |
| commit | 2ce772a8297517012ba3a7f7d0433c905e2a47ea (patch) | |
| tree | fadfc201f2d1e6249595b620682b7b0d6810c5b4 /src/core/screen-private.h | |
| parent | ffece2a205bf6a7f1530e9e845bd6279a69effc6 (diff) | |
| download | marco-2ce772a8297517012ba3a7f7d0433c905e2a47ea.tar.bz2 marco-2ce772a8297517012ba3a7f7d0433c905e2a47ea.tar.xz | |
tabpopup.c: improve
* Fix missing white border on outline window.
* Do not create outline_window if we are not going to use it.
Adapted from https://gitlab.gnome.org/GNOME/metacity/commit/a7dd0727
Diffstat (limited to 'src/core/screen-private.h')
0 files changed, 0 insertions, 0 deletions