switcherPopup: Avoid Clutter.CURRENT_TIME timestamps

Request the last time with a roundtrip here, in order to ensure the
received time is not Clutter.CURRENT_TIME, and mistakenly triggers the
meta_window_set_demands_attention() paths in window activation.

Fixes some situations that very quick alt press, tab press, alt release,
tab release sequences trigger "$app needs attention" notifications.
This commit is contained in:
Carlos Garnacho 2022-04-08 16:18:35 +02:00
parent 824deafb57
commit d3bee833c4

View file

@ -133,7 +133,7 @@ var SwitcherPopup = GObject.registerClass({
if (this._modifierMask) {
let [x_, y_, mods] = global.get_pointer();
if (!(mods & this._modifierMask)) {
this._finish(global.get_current_time());
this._finish(global.display.get_current_time_roundtrip());
return true;
}
} else {