From 4016da6632b6b57f41c2ca6048fcc4927cd511bb Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Wed, 13 Feb 2013 16:13:14 -0500
Subject: [PATCH] viewSelector: add a method to get the currently active page

https://bugzilla.gnome.org/show_bug.cgi?id=682050
---
 js/ui/viewSelector.js | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index e1d2ef535..c7063d206 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -23,6 +23,12 @@ const WorkspacesView = imports.ui.workspacesView;
 
 const SHELL_KEYBINDINGS_SCHEMA = 'org.gnome.shell.keybindings';
 
+const ViewPage = {
+    WINDOWS: 1,
+    APPS: 2,
+    SEARCH: 3
+};
+
 const FocusTrap = new Lang.Class({
     Name: 'FocusTrap',
     Extends: St.Widget,
@@ -476,6 +482,15 @@ const ViewSelector = new Lang.Class({
     removeSearchProvider: function(provider) {
         this._searchSystem.unregisterProvider(provider);
         this._searchResults.destroyProviderMeta(provider);
+    },
+
+    getActivePage: function() {
+        if (this._activePage == this._workspacesPage)
+            return ViewPage.WINDOWS;
+        else if (this._activePage == this._appsPage)
+            return ViewPage.APPS;
+        else
+            return ViewPage.SEARCH;
     }
 });
 Signals.addSignalMethods(ViewSelector.prototype);