diff options
author | Victor Kareh <[email protected]> | 2018-08-27 22:28:01 -0400 |
---|---|---|
committer | Victor Kareh <[email protected]> | 2018-08-28 09:39:37 -0400 |
commit | 48b0b11dcd18737135a01b48f355c2cb74b3fd6a (patch) | |
tree | 77c40b994f369476a8b97cbd980fed9fedfa8124 /src/ui | |
parent | 2ce772a8297517012ba3a7f7d0433c905e2a47ea (diff) | |
download | marco-48b0b11dcd18737135a01b48f355c2cb74b3fd6a.tar.bz2 marco-48b0b11dcd18737135a01b48f355c2cb74b3fd6a.tar.xz |
tabpopup.c: always show 5px outline border
Adapted from metacity for marco
Origin commit: https://gitlab.gnome.org/GNOME/metacity/commit/aab7b07a
Author: Alberts Muktupāvels <[email protected]>
Date: Fri Oct 3 19:57:08 2014 +0300
Diffstat (limited to 'src/ui')
0 files changed, 0 insertions, 0 deletions