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

[Giovanni Campagna <gcampagna src gnome org>]

commit 01f168341ff44c87140bdadc8404869b3f30b92b
Author: Giovanni Campagna <gcampagn redhat com>
Date:   Tue Sep 3 10:36:31 2013 +0200

    windowsNavigator: update for gnome-shell changes

 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 7b75d41..c19ff0c 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -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 ||