[gnome-shell] panel: Remove unused constant
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] panel: Remove unused constant
- Date: Tue, 23 Jul 2019 18:54:39 +0000 (UTC)
commit 3f8d3a7ee24b8b9d1396f253d464b021e6d58901
Author: Florian Müllner <fmuellner gnome org>
Date: Tue Jul 23 19:59:53 2019 +0200
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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]