From ed6dc326d158e98f1e4ab4a6645dede7a89891d8 Mon Sep 17 00:00:00 2001 From: Carlos Garnacho Date: Wed, 25 Jun 2014 17:52:19 +0200 Subject: [PATCH] viewSelector: add left edge drag gesture to show the app picker --- js/ui/viewSelector.js | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js index e7d9b1dfb..eaf66ea88 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 EdgeDragAction = imports.ui.edgeDragAction; 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 EdgeDragAction.EdgeDragAction(St.Side.RIGHT); + gesture.connect('activated', Lang.bind(this, function() { + if (Main.overview.visible) + Main.overview.hide(); + else + this.showApps(); + })); + global.stage.add_action(gesture); }, _toggleAppsPage: function() {