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
This commit is contained in:
Giovanni Campagna
2013-09-03 10:36:31 +02:00
parent ec8f269107
commit 01f168341f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
extensions/windowsNavigator/extension.js
+1 -1
View File
@@ -133,7 +133,7 @@ function enable() {
workViewInjections['_onKeyRelease'] = undefined;
WorkspacesView.WorkspacesView.prototype._onKeyPress = function(s, o) {
if(Main.overview._viewSelector._activePage != Main.overview._viewSelector._workspacesPage)
if(Main.overview.viewSelector._activePage != Main.overview.viewSelector._workspacesPage)
return false;
if ((o.get_key_symbol() == Clutter.KEY_Alt_L ||