diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2014-05-25 16:46:09 +0200 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2014-05-27 19:49:05 +0200 |
| commit | a72a24ebff603bc4746cde50f7593fc85d786298 (patch) | |
| tree | 9c325fdfe2cba946336f4725f024b0631eb79caa /js/ui/windowMenu.js | |
| parent | 8811ba2ec033fb52547fbcd14eb3fefc153c90fa (diff) | |
theme: Bring fallback app-menu style closer to GTK+
The fallback app-menu in GTK+'s client side decorations obviously
uses the GTK+ theme rather than the shell one; update the style
of our own fallback app-menu to resemble that style.
https://bugzilla.gnome.org/show_bug.cgi?id=730752
Diffstat (limited to 'js/ui/windowMenu.js')
| -rw-r--r-- | js/ui/windowMenu.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js index c6dc7295..b1f80737 100644 --- a/js/ui/windowMenu.js +++ b/js/ui/windowMenu.js @@ -133,6 +133,9 @@ const AppMenu = new Lang.Class({ this.parent(Main.layoutManager.dummyCursor, app.menu, app.action_group); this.actor.add_style_class_name('fallback-app-menu'); + let variant = window.get_gtk_theme_variant(); + if (variant) + this.actor.add_style_class_name(variant); Main.layoutManager.uiGroup.add_actor(this.actor); this.actor.hide(); |