diff --git a/extensions/window-list/stylesheet.css b/extensions/window-list/stylesheet.css index 38ea9d86..87813a42 100644 --- a/extensions/window-list/stylesheet.css +++ b/extensions/window-list/stylesheet.css @@ -82,7 +82,7 @@ background-color: rgba(200, 200, 200, .3); border: 1px solid #cccccc; padding: 0 3px; - margin: 3px 0; + margin: 3px; } .window-list-workspace-indicator .workspaces-box { diff --git a/extensions/window-list/workspaceIndicator.js b/extensions/window-list/workspaceIndicator.js index 41eedf63..c35e37a7 100644 --- a/extensions/window-list/workspaceIndicator.js +++ b/extensions/window-list/workspaceIndicator.js @@ -249,6 +249,7 @@ class WorkspaceIndicator extends PanelMenu.Button { super._init(0.0, _('Workspace Indicator'), true); this.setMenu(new PopupMenu.PopupMenu(this, 0.0, St.Side.BOTTOM)); this.add_style_class_name('window-list-workspace-indicator'); + this.remove_style_class_name('panel-button'); this.menu.actor.remove_style_class_name('panel-menu'); let container = new St.Widget({