[gnome-shell-extensions] windowsNavigator: update for gnome-shell changes

[Giovanni Campagna <gcampagna src gnome org>]

commit 5ca52e89d5f4f19759c50f9ac2b69071d2debd01
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Aug 22 16:19:02 2012 +0200

    windowsNavigator: update for gnome-shell changes
    
    The ViewSelector was refactored for modekill feature. Update
    accordingly.

 extensions/windowsNavigator/extension.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index 35188e3..a825653 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -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 ||