From 5ca52e89d5f4f19759c50f9ac2b69071d2debd01 Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Wed, 22 Aug 2012 16:19:02 +0200
Subject: [PATCH] windowsNavigator: update for gnome-shell changes

The ViewSelector was refactored for modekill feature. Update
accordingly.
---
 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 35188e3f..a825653f 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 ||