[gnome-shell/wip/carlosg/osk-emoji-and-keypad: 30/40] 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: 30/40] windowManager: Disable bottom edge swipe gesture if OSK is enabled
- Date: Sat, 26 Jan 2019 13:14:37 +0000 (UTC)
commit 64a6f03eed134375d69fbbb22a536f2336909fdd
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]