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

workspace-indicator: Adjust to PopupMenu API change

Browse Source 
setShowDot() has become setOrnament()

https://bugzilla.gnome.org/show_bug.cgi?id=699335
This commit is contained in:
Florian Müllner
2013-04-30 17:16:25 +02:00
parent d903f1f15b
commit 8ba3bedd20
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
extensions/workspace-indicator/extension.js
+3 -3
View File
@@ -66,9 +66,9 @@ const WorkspaceIndicator = new Lang.Class({
},
_updateIndicator: function() {
this.workspacesItems[this._currentWorkspace].setShowDot(false);
this.workspacesItems[this._currentWorkspace].setOrnament(PopupMenu.Ornament.NONE);
this._currentWorkspace = global.screen.get_active_workspace().index();
this.workspacesItems[this._currentWorkspace].setShowDot(true);
this.workspacesItems[this._currentWorkspace].setOrnament(PopupMenu.Ornament.DOT);
this.statusLabel.set_text(this._labelText());
},
@@ -98,7 +98,7 @@ const WorkspaceIndicator = new Lang.Class({
}));
if (i == this._currentWorkspace)
this.workspacesItems[i].setShowDot(true);
this.workspacesItems[i].setOrnament(PopupMenu.Ornament.DOT);
}
this.statusLabel.set_text(this._labelText());