Fix rare crash

Author: leolost2605

src/WindowManager.vala

@@ -2181,6 +2181,11 @@ namespace Gala {
 
         private void switch_workspace_animation_finished (Meta.MotionDirection animation_direction,
                 bool cancel_action, bool is_nudge_animation = false) {
+            if (!animating_switch_workspace) {
+                return;
+            }
+            animating_switch_workspace = cancel_action;
+
             if (switch_workspace_window_created_id > 0) {
                 disconnect (switch_workspace_window_created_id);
                 switch_workspace_window_created_id = 0;
@@ -2189,7 +2194,6 @@ namespace Gala {
             if (!is_nudge_animation) {
                 switch_workspace_completed ();
             }
-            animating_switch_workspace = cancel_action;
 
             if (cancel_action) {
                 var cancel_direction = (animation_direction == Meta.MotionDirection.LEFT)
@@ -2272,7 +2276,8 @@ namespace Gala {
         }
 
         public override void kill_switch_workspace () {
-            end_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);
         }
 
         public override void locate_pointer () {