VesperOS/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

window-list: Expand workspace button for Fitts'ability

Browse Source 
The workspace button used to extend to the bottom edge, which of
course is A Good Thing (tm) - commit ec8f269107 broke this when
it added an additional container to the hierarchy, expand the
button again to bring back the old mouse-friendly behavior.

https://bugzilla.gnome.org/show_bug.cgi?id=708247
This commit is contained in:
Florian Müllner
2014-05-29 01:09:58 +02:00
parent 6195b5f4c0
commit 5616a6deae
2 changed files with 19 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
extensions/window-list/extension.js
View File

@@ -644,10 +644,15 @@ const WorkspaceIndicator = new Lang.Class({
this.parent(0.0, _("Workspace Indicator"));
this.actor.add_style_class_name('window-list-workspace-indicator');
this._currentWorkspace = global.screen.get_active_workspace().index();
this.statusLabel = new St.Label({ text: this._getStatusText() });
let container = new St.Widget({ layout_manager: new Clutter.BinLayout(),
x_expand: true, y_expand: true });
this.actor.add_actor(container);
this.actor.add_actor(this.statusLabel);
this._currentWorkspace = global.screen.get_active_workspace().index();
this.statusLabel = new St.Label({ text: this._getStatusText(),
x_align: Clutter.ActorAlign.CENTER,
y_align: Clutter.ActorAlign.CENTER });
container.add_actor(this.statusLabel);
this.workspacesItems = [];
@@ -734,6 +739,11 @@ const WorkspaceIndicator = new Lang.Class({
let newIndex = this._currentWorkspace + diff;
this._activate(newIndex);
},
_allocate: function(actor, box, flags) {
if (actor.get_n_children() > 0)
actor.get_first_child().allocate(box, flags);
}
});
const WindowList = new Lang.Class({
@@ -785,7 +795,7 @@ const WindowList = new Lang.Class({
box.add(indicatorsBox);
this._workspaceIndicator = new WorkspaceIndicator();
indicatorsBox.add(this._workspaceIndicator.container, { expand: false, y_fill: false });
indicatorsBox.add(this._workspaceIndicator.container, { expand: false, y_fill: true });
this._menuManager = new PopupMenu.PopupMenuManager(this);
this._menuManager.addMenu(this._workspaceIndicator.menu);

10
extensions/window-list/stylesheet.css
View File

@@ -68,14 +68,14 @@
}
.window-list-workspace-indicator {
padding: 3px;
}
.window-list-workspace-indicator > StWidget {
background-color: rgba(200, 200, 200, .3);
border: 1px solid #cccccc;
}
.window-list-workspace-indicator > StLabel {
padding: 0 2px;
}
.notification {
font-weight: normal;
}
}