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