windowsNavigator: update for gnome-shell changes

The ViewSelector was refactored for modekill feature. Update accordingly.
2012-08-22 16:19:02 +02:00
parent dd26111c04
commit 5ca52e89d5
1 changed files with 1 additions and 1 deletions
@@ -139,7 +139,7 @@ function enable() {
    workViewInjections['_onKeyRelease'] = undefined;

    WorkspacesView.WorkspacesView.prototype._onKeyPress = function(s, o) {
-        if(Main.overview._viewSelector._activeTab.id != 'windows')
+        if(Main.overview._viewSelector._activePage != Main.overview._viewSelector._workspacesPage)
            return false;

        if ((o.get_key_symbol() == Clutter.KEY_Alt_L ||