[gnome-shell/wip/carlosg/osk-emoji-and-keypad: 25/34] windowManager: Disable bottom edge swipe gesture if OSK is enabled

[Carlos Garnacho <carlosg src gnome org>]

commit fa254e26042c118cb4adde3659c6e643a6530f3c
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 8450cfd33..16239a255 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1071,6 +1071,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);