[gnome-shell/wip/carlosg/grabs-pt2: 6/14] boxPointer: Do not mute key events
- From: Carlos Garnacho <carlosg src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/wip/carlosg/grabs-pt2: 6/14] boxPointer: Do not mute key events
- Date: Fri, 19 Nov 2021 11:50:10 +0000 (UTC)
commit 172fb7d60975c1ef6ea45406c99d02da62d7a079
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;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]