From cbe0180f4774a5e350b8348c32ba93b89b0c3f25 Mon Sep 17 00:00:00 2001 From: Georges Basile Stavracas Neto Date: Tue, 5 Jan 2021 10:33:59 -0300 Subject: [PATCH] viewSelector: Drop edge drag gesture It doesn't use any ViewSelector's API anymore, and its functionality will be taken over by the 3 finger gesture. Part-of: --- js/ui/viewSelector.js | 18 +----------------- 1 file changed, 1 insertion(+), 17 deletions(-) diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js index 11228749b..cb283c5bc 100644 --- a/js/ui/viewSelector.js +++ b/js/ui/viewSelector.js @@ -12,7 +12,6 @@ const ShellEntry = imports.ui.shellEntry; const Util = imports.misc.util; const WorkspaceThumbnail = imports.ui.workspaceThumbnail; const WorkspacesView = imports.ui.workspacesView; -const EdgeDragAction = imports.ui.edgeDragAction; const SHELL_KEYBINDINGS_SCHEMA = 'org.gnome.shell.keybindings'; var PINCH_GESTURE_THRESHOLD = 0.7; @@ -351,22 +350,7 @@ var ViewSelector = GObject.registerClass({ } }); - let side; - if (Clutter.get_default_text_direction() == Clutter.TextDirection.RTL) - side = St.Side.RIGHT; - else - side = St.Side.LEFT; - let gesture = new EdgeDragAction.EdgeDragAction(side, - Shell.ActionMode.NORMAL); - gesture.connect('activated', () => { - if (Main.overview.visible) - Main.overview.hide(); - else - Main.overview.show(ControlsState.APP_GRID); - }); - global.stage.add_action(gesture); - - gesture = new ShowOverviewAction(); + let gesture = new ShowOverviewAction(); gesture.connect('activated', this._pinchGestureActivated.bind(this)); global.stage.add_action(gesture);