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

window-list: 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:49:48 +02:00
parent 27b5178646
commit 8628addfc9
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
extensions/window-list/extension.js
+3 -3
View File
@@ -414,9 +414,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._getStatusText());
},
@@ -443,7 +443,7 @@ const WorkspaceIndicator = new Lang.Class({
}));
if (i == this._currentWorkspace)
item.setShowDot(true);
item.setOrnament(PopupMenu.Ornament.DOT);
this.menu.addMenuItem(item);
this.workspacesItems[i] = item;