[gnome-shell/wip/carlosg/grabs-pt2: 3/11] boxPointer: Do not mute key events

[Carlos Garnacho <carlosg src gnome org>]

commit 21845379df5353b52af1c3d8e205febe328c298d
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Nov 18 00:18:09 2021 +0100

    boxPointer: Do not mute key events
    
    We want to mute things like pointers hovering the BoxPointer while
    it does open. However keyboard events should still be handled
    promptly.
    
    Since Clutter.grab() will involve different actors being grabbed
    and focused, this will have some more presence, e.g. when navigating
    panel menus.

 js/ui/boxpointer.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/boxpointer.js b/js/ui/boxpointer.js
index be9c57ce03..f414d92702 100644
--- a/js/ui/boxpointer.js
+++ b/js/ui/boxpointer.js
@@ -58,8 +58,10 @@ var BoxPointer = GObject.registerClass({
         this.connect('destroy', this._onDestroy.bind(this));
     }
 
-    vfunc_captured_event() {
-        if (this._muteInput)
+    vfunc_captured_event(event) {
+        if (event.type() !== Clutter.EventType.KEY_PRESS &&
+            event.type() !== Clutter.EventType.KEY_RELEASE &&
+            this._muteInput)
             return Clutter.EVENT_STOP;
 
         return Clutter.EVENT_PROPAGATE;