[gnome-shell/wip/carlosg/osk-emoji-and-keypad: 67/76] windowManager: Disable bottom edge swipe gesture if OSK is enabled
- From: Carlos Garnacho <carlosg src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/wip/carlosg/osk-emoji-and-keypad: 67/76] windowManager: Disable bottom edge swipe gesture if OSK is enabled
- Date: Thu, 31 Jan 2019 20:20:55 +0000 (UTC)
commit 1018e16a8350b0251f8d1e05eda3f0060652029d
Author: Carlos Garnacho <carlosg gnome org>
Date: Mon Jan 21 20:49:07 2019 +0100
windowManager: Disable bottom edge swipe gesture if OSK is enabled
It does not make sense then, plus it eats events close to the edge.
js/ui/windowManager.js | 4 ++++
1 file changed, 4 insertions(+)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 8c4cb36d8..e22a382a9 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1007,6 +1007,10 @@ var WindowManager = class {
gesture.connect('activated', () => {
Main.keyboard.show(Main.layoutManager.bottomIndex);
});
+ Main.layoutManager.connect('keyboard-visible-changed', (manager, visible) => {
+ gesture.cancel();
+ gesture.set_enabled(!visible);
+ });
global.stage.add_action(gesture);
gesture = new EdgeDragAction.EdgeDragAction(St.Side.TOP, mode);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]