From d8e28ec274ed0bedc82495c843b9debfb34459ef Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Tue, 14 Jan 2014 09:10:12 -0500
Subject: [PATCH] viewSelector: Remove unused setActivePage

---
 js/ui/viewSelector.js | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index ffe4630c4..be046b1f0 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,