Commit d6648b0b authored by Adam Goode's avatar Adam Goode Committed by Marge Bot
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>
parent 861e5c0b
Pipeline #285988 passed with stages
in 50 seconds
...@@ -82,7 +82,7 @@ ...@@ -82,7 +82,7 @@
background-color: rgba(200, 200, 200, .3); background-color: rgba(200, 200, 200, .3);
border: 1px solid #cccccc; border: 1px solid #cccccc;
padding: 0 3px; padding: 0 3px;
margin: 3px 0; margin: 3px;
} }
.window-list-workspace-indicator .workspaces-box { .window-list-workspace-indicator .workspaces-box {
...@@ -249,6 +249,7 @@ class WorkspaceIndicator extends PanelMenu.Button { ...@@ -249,6 +249,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
super._init(0.0, _('Workspace Indicator'), true); super._init(0.0, _('Workspace Indicator'), true);
this.setMenu(new PopupMenu.PopupMenu(this, 0.0, St.Side.BOTTOM)); this.setMenu(new PopupMenu.PopupMenu(this, 0.0, St.Side.BOTTOM));
this.add_style_class_name('window-list-workspace-indicator'); this.add_style_class_name('window-list-workspace-indicator');
let container = new St.Widget({ 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