[gnome-shell/wip/carlosg/osk-emoji-and-keypad: 14/22] 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: 14/22] windowManager: Disable bottom edge swipe gesture if OSK is enabled
- Date: Mon, 21 Jan 2019 23:49:31 +0000 (UTC)
commit 47bab90d6bc29e211d02f39ce37256238f83563b
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 fedee72d5..ccb5eff8b 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1027,6 +1027,10 @@ var WindowManager = new Lang.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]