[gnome-shell] viewSelector: Remove unused setActivePage

[Jasper St. Pierre <jstpierre src gnome org>]

commit d8e28ec274ed0bedc82495c843b9debfb34459ef
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Tue Jan 14 09:10:12 2014 -0500

    viewSelector: Remove unused setActivePage

 js/ui/viewSelector.js |    7 -------
 1 files changed, 0 insertions(+), 7 deletions(-)
---
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index ffe4630..be046b1 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -475,13 +475,6 @@ const ViewSelector = new Lang.Class({
             return ViewPage.SEARCH;
     },
 
-    setActivePage: function(page) {
-        if (page == ViewPage.WINDOWS)
-            this._showPage(this._workspacesPage);
-        else
-            this._showPage(this._appsPage);
-    },
-
     fadeIn: function() {
         let actor = this._activePage;
         Tweener.addTween(actor, { opacity: 255,