From 01f168341ff44c87140bdadc8404869b3f30b92b Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagn@redhat.com>
Date: Tue, 3 Sep 2013 10:36:31 +0200
Subject: [PATCH] windowsNavigator: update for gnome-shell changes

---
 extensions/windowsNavigator/extension.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index 7b75d415..c19ff0c0 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 ||