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

windowsNavigator: update for gnome-shell changes

Browse Source 
The position of a workspace is not part of a geometry object.
This commit is contained in:
Giovanni Campagna
2013-05-01 00:45:06 +02:00
parent f38d61b4c9
commit 5052c6d350
1 changed files with 15 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
extensions/windowsNavigator/extension.js
+15 -3
View File
@@ -47,11 +47,23 @@ function enable() {
winInjections['hideTooltip'] = undefined;
Workspace.Workspace.prototype.showTooltip = function() {
if (this._tip == null)
if (this._tip == null || this._actualGeometry == null)
return;
this._tip.text = (this.metaWorkspace.index() + 1).toString();
this._tip.x = this._x;
this._tip.y = this._y;
// Hand code this instead of using _getSpacingAndPadding
// because that fails on empty workspaces
let node = this.actor.get_theme_node();
let padding = {
left: node.get_padding(St.Side.LEFT),
top: node.get_padding(St.Side.TOP),
bottom: node.get_padding(St.Side.BOTTOM),
right: node.get_padding(St.Side.RIGHT),
};
let area = Workspace.padArea(this._actualGeometry, padding);
this._tip.x = area.x;
this._tip.y = area.y;
this._tip.show();
this._tip.raise_top();
}