[gnome-shell/wip/carlosg/grabs-pt2: 3/11] 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: 3/11] boxPointer: Do not mute key events
- Date: Fri, 19 Nov 2021 13:46:00 +0000 (UTC)
commit 9c3d49d28a8ba5ef9f5111ad20074e538c77f56a
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]