From 48c928db3555b4ae549035ee9947f938b648a626 Mon Sep 17 00:00:00 2001 From: lenemter Date: Thu, 13 Aug 2026 19:26:15 +0300 Subject: [PATCH] WindowManager: cleanup end_animation () --- src/WindowManager.vala | 19 ++++++++----------- 1 file changed, 8 insertions(+), 11 deletions(-) diff --git a/src/WindowManager.vala b/src/WindowManager.vala index 94f62585a..52b6af966 100644 --- a/src/WindowManager.vala +++ b/src/WindowManager.vala @@ -1164,24 +1164,21 @@ namespace Gala { destroy_completed (actor); } - // Cancel attached animation of an actor and reset it - private bool end_animation (ref Gee.HashSet list, Meta.WindowActor actor) { - if (!list.contains (actor)) - return false; - - if (actor.is_destroyed ()) { - list.remove (actor); - return false; + /** + * Cancel attached animation of an actor and reset its animation properties. + */ + private void end_animation (ref Gee.HashSet list, Meta.WindowActor actor) { + if (!list.contains (actor)) { + return; } actor.remove_all_transitions (); actor.opacity = 255U; - actor.set_scale (1.0f, 1.0f); - actor.rotation_angle_x = 0.0f; + actor.set_scale (1.0, 1.0); + actor.rotation_angle_x = 0.0; actor.set_pivot_point (0.0f, 0.0f); list.remove (actor); - return true; } public override void kill_window_effects (Meta.WindowActor actor) {