[gnome-shell] ShellDBus: add ShowApplications method

[Giovanni Campagna <gcampagna src gnome org>]

commit 9c814d1584c27b2f9efe7a167023e875e35b4f92
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Apr 24 19:32:41 2013 +0200

    ShellDBus: add ShowApplications method
    
    Add a method to control the visibility of the applications view.
    This can used by gnome-settings-daemon for special keys in
    certain keyboards.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=698743

 js/ui/shellDBus.js    |   10 ++++++----
 js/ui/viewSelector.js |    5 +++++
 2 files changed, 11 insertions(+), 4 deletions(-)
---
diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js
index 802640b..c56692f 100644
--- a/js/ui/shellDBus.js
+++ b/js/ui/shellDBus.js
@@ -28,6 +28,7 @@ const GnomeShellIface = <interface name="org.gnome.Shell">
 <method name="FocusApp">
     <arg type="s" direction="in" name="id"/>
 </method>
+<method name="ShowApplications" />
 <method name="GrabAccelerator">
     <arg type="s" direction="in" name="accelerator"/>
     <arg type="u" direction="in" name="flags"/>
@@ -140,11 +141,12 @@ const GnomeShell = new Lang.Class({
     },
 
     FocusApp: function(id) {
-        let overview = Main.overview;
+        this.ShowApplications();
+        Main.overview.viewSelector.appDisplay.selectApp(id);
+    },
 
-        overview.show();
-        overview.viewSelector.setActivePage(ViewSelector.ViewPage.APPS);
-        overview.viewSelector.appDisplay.selectApp(id);
+    ShowApplications: function() {
+        Main.overview.viewSelector.showApps();
     },
 
     GrabAcceleratorAsync: function(params, invocation) {
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index 414dd33..a78a9f7 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -165,6 +165,11 @@ const ViewSelector = new Lang.Class({
         this._showAppsButton.checked = !this._showAppsButton.checked;
     },
 
+    showApps: function() {
+        Main.overview.show();
+        this._showAppsButton.checked = true;
+    },
+
     show: function() {
         this._activePage = this._workspacesPage;