From e0ef54ce665d1e75161f8ce99835b11cb686b0e1 Mon Sep 17 00:00:00 2001 From: Leo Date: Tue, 11 Apr 2023 18:00:04 +0900 Subject: [PATCH] WindowSwitcher: Respect animations key (#1643) --- src/Widgets/WindowSwitcher/WindowSwitcher.vala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Widgets/WindowSwitcher/WindowSwitcher.vala b/src/Widgets/WindowSwitcher/WindowSwitcher.vala index 54f0d4a40..94316e061 100644 --- a/src/Widgets/WindowSwitcher/WindowSwitcher.vala +++ b/src/Widgets/WindowSwitcher/WindowSwitcher.vala @@ -10,9 +10,9 @@ namespace Gala { public class WindowSwitcher : Clutter.Actor { public const int ICON_SIZE = 64; public const int WRAPPER_PADDING = 12; - public const string CAPTION_FONT_NAME = "Inter"; - + private const string CAPTION_FONT_NAME = "Inter"; private const int MIN_OFFSET = 64; + private const int ANIMATION_DURATION = 200; public bool opened { get; private set; default = false; } @@ -317,7 +317,7 @@ namespace Gala { } save_easing_state (); - set_easing_duration (200); + set_easing_duration (wm.enable_animations ? ANIMATION_DURATION : 0); opacity = show ? 255 : 0; restore_easing_state ();