Commit 3bb0897b authored by Adam Goode's avatar Adam Goode Committed by Florian Müllner
Browse files

window-list: Don't use panel-button class for the workspace indicator

The panel-button introduces some horizontal padding which is insensitive
to scroll events. Without this change, there is a small dead zone in the
corner that cannot be used to switch workspaces with the mouse wheel.

For useMenu mode, this has the effect of removing all of the horizontal
space to the edge of the screen, so I add some back with the
status-label-bin margin.

This a is similar change to 8bad8a3b.

Fixes #315.

Part-of: <!171>
(cherry picked from commit d6648b0b)
parent 12eedcf6
......@@ -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 {
......@@ -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));
let container = new St.Widget({
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment