diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2018-03-28 23:46:54 -0500 |
|---|---|---|
| committer | Marco Trevisan <mail@3v1n0.net> | 2018-04-03 20:22:00 +0000 |
| commit | 84184354cda461366032e7d0808870d2ab337286 (patch) | |
| tree | ae40603ca93c2df41d8174b97fc02fe1cfde7b12 | |
| parent | 1851fa2bd0ca7330079a99b8019920e0a15e842a (diff) | |
| download | mutter-cherry-pick-96141e28.tar.gz | |
theme: add ".appmenu" class to the appmenu buttoncherry-pick-96141e28
So it does gtk headerbar, so mutter should do.
(cherry picked from commit 96141e28f9c5721e30c89eec34650c9f676fb608)
| -rw-r--r-- | src/ui/theme.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ui/theme.c b/src/ui/theme.c index 2b3cd5eaf..8786b17f3 100644 --- a/src/ui/theme.c +++ b/src/ui/theme.c @@ -712,6 +712,8 @@ get_class_from_button_type (MetaButtonType type) return "maximize"; case META_BUTTON_TYPE_MINIMIZE: return "minimize"; + case META_BUTTON_TYPE_APPMENU: + return "appmenu"; default: return NULL; } |