From 3f8d3a7ee24b8b9d1396f253d464b021e6d58901 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Tue, 23 Jul 2019 19:59:53 +0200 Subject: [PATCH] panel: Remove unused constant This was left-over in commit 2743f18af, and probably is the real reason why the busy spinner wasn't using the shared AnimatedIcon.Spinner class: The animation there was much slower. Still, let's keep the code as-is for now, if we really need a different animation time, we can add an optional constructor parameter to the Spinner class. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/640 --- js/ui/panel.js | 2 -- 1 file changed, 2 deletions(-) diff --git a/js/ui/panel.js b/js/ui/panel.js index 6eb54f3e7..36f1c2d2b 100644 --- a/js/ui/panel.js +++ b/js/ui/panel.js @@ -19,8 +19,6 @@ var APP_MENU_ICON_MARGIN = 0; var BUTTON_DND_ACTIVATION_TIMEOUT = 250; -var SPINNER_ANIMATION_TIME = 1.0; - // To make sure the panel corners blend nicely with the panel, // we draw background and borders the same way, e.g. drawing // them as filled shapes from the outside inwards instead of