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 ||