[gnome-shell-extensions] window-list: Don't use 'panel-menu' class in bottom panel



commit 8bad8a3b63d8719163dd0fb7fc9b2fd67969931c
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Mar 10 14:17:04 2015 +0100

    window-list: Don't use 'panel-menu' class in bottom panel
    
    Menus in the top bar have some margin at the bottom, to prevent
    menus to extend all the way to the bottom edge as the expand; we
    obviously don't want the same behavior in the window-list at the
    bottom, so stop pretending to be a top bar menu.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=745952

 extensions/window-list/extension.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 4c3b1be..6334460 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -649,6 +649,7 @@ const WorkspaceIndicator = new Lang.Class({
     _init: function(){
         this.parent(0.0, _("Workspace Indicator"));
         this.actor.add_style_class_name('window-list-workspace-indicator');
+        this.menu.actor.remove_style_class_name('panel-menu');
 
         let container = new St.Widget({ layout_manager: new Clutter.BinLayout(),
                                         x_expand: true, y_expand: true });


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]