keyboard: Handle edge drag gesture cancellation

Hide the keyboard again if the gesture happens to stay/return
within it's activation threshold.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1668>
This commit is contained in:
Carlos Garnacho
2021-02-14 10:26:38 +01:00
committed by Marge Bot
parent c62177e669
commit 0b16565e70
2 changed files with 18 additions and 2 deletions

View File

@ -82,5 +82,7 @@ var EdgeDragAction = GObject.registerClass({
(this._side == St.Side.LEFT && x > monitorRect.x + DRAG_DISTANCE) ||
(this._side == St.Side.RIGHT && x < monitorRect.x + monitorRect.width - DRAG_DISTANCE))
this.emit('activated');
else
this.cancel();
}
});