Fix cancelling workspace switch gesture (#2148)

Co-authored-by: Leo <lenemter@gmail.com>
This commit is contained in:
Leonhard 2024-12-12 16:26:17 +01:00 committed by GitHub
parent 74f91ae8fb
commit 32a5f354d7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -2201,7 +2201,6 @@ namespace Gala {
if (!animating_switch_workspace) {
return;
}
animating_switch_workspace = cancel_action;
if (switch_workspace_window_created_id > 0) {
disconnect (switch_workspace_window_created_id);
@ -2212,6 +2211,8 @@ namespace Gala {
switch_workspace_completed ();
}
animating_switch_workspace = cancel_action;
if (cancel_action) {
var cancel_direction = (animation_direction == Meta.MotionDirection.LEFT)
? Meta.MotionDirection.RIGHT
@ -2293,8 +2294,7 @@ namespace Gala {
}
public override void kill_switch_workspace () {
// We don't care about animation direction, we don't want to cancel it, make it nudge so that it doesn't call switch_workspace_completed ()
switch_workspace_animation_finished (LEFT, false, true);
end_switch_workspace ();
}
public override void locate_pointer () {