From 562e63c3fc368909d8e55ebe0408fb6e8d291753 Mon Sep 17 00:00:00 2001 From: Zoe Roux Date: Thu, 18 May 2023 15:40:49 +0900 Subject: [PATCH] Allow keybinds to be used when the overview is opened --- sources/keybinds.js | 2 +- sources/renderer.js | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/sources/keybinds.js b/sources/keybinds.js index 272d80a..3c9bc10 100644 --- a/sources/keybinds.js +++ b/sources/keybinds.js @@ -28,7 +28,7 @@ var KeyboardManager = GObject.registerClass( key, settings, Meta.KeyBindingFlags.IGNORE_AUTOREPEAT, - Shell.ActionMode.NORMAL, + Shell.ActionMode.NORMAL | Shell.ActionMode.OVERVIEW, action ); } diff --git a/sources/renderer.js b/sources/renderer.js index 6a252fe..a3115b2 100644 --- a/sources/renderer.js +++ b/sources/renderer.js @@ -394,6 +394,13 @@ var Renderer = GObject.registerClass( size.width, size.height ); + // Doing a simple move after because gnome ignore move_resize calls if the available space is less + // then what the application requests. + window.handle.move_frame( + true, + monGeo.x + size.x, + monGeo.y + size.y, + ); } }