[gnome-shell/wip/gestures: 3/8] viewSelector: add left edge drag gesture to show the app picker

[Carlos Garnacho <carlosg src gnome org>]

commit 422c8bc1a5a1ca228773e4f7c66e7246a2d833f3
Author: Carlos Garnacho <carlosg gnome org>
Date:   Wed Jun 25 17:52:19 2014 +0200

    viewSelector: add left edge drag gesture to show the app picker

 js/ui/viewSelector.js |    9 +++++++++
 1 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index 550510b..0ff08e5 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -11,6 +11,7 @@ const Lang = imports.lang;
 const Shell = imports.gi.Shell;
 const St = imports.gi.St;
 
+const EdgeDrag = imports.ui.edgeDrag;
 const AppDisplay = imports.ui.appDisplay;
 const Main = imports.ui.main;
 const OverviewControls = imports.ui.overviewControls;
@@ -145,6 +146,14 @@ const ViewSelector = new Lang.Class({
                               Shell.KeyBindingMode.OVERVIEW,
                               Lang.bind(Main.overview, Main.overview.toggle));
 
+        let gesture = new EdgeDrag.EdgeDragAction(St.Side.RIGHT);
+        gesture.connect('gesture-end', Lang.bind(this, function() {
+            if (Main.overview.visible)
+                Main.overview.hide();
+            else
+                this.showApps();
+        }));
+        global.stage.add_action(gesture);
     },
 
     _toggleAppsPage: function() {