[gnome-shell] workspace: Remove unused includes and constants

[Florian Müllner <fmuellner src gnome org>]

commit 01dbfddb64cbd89a8abc5c432aa76aca86d69447
Author: Florian Müllner <fmuellner gnome org>
Date:   Mon Nov 4 10:21:59 2013 +0100

    workspace: Remove unused includes and constants

 js/ui/workspace.js |    5 -----
 1 files changed, 0 insertions(+), 5 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 57a7de4..be1407d 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -10,19 +10,14 @@ const St = imports.gi.St;
 const Signals = imports.signals;
 
 const DND = imports.ui.dnd;
-const Lightbox = imports.ui.lightbox;
 const Main = imports.ui.main;
 const Overview = imports.ui.overview;
-const Panel = imports.ui.panel;
 const Tweener = imports.ui.tweener;
 
-const FOCUS_ANIMATION_TIME = 0.15;
-
 const WINDOW_DND_SIZE = 256;
 
 const WINDOW_CLONE_MAXIMUM_SCALE = 0.7;
 
-const LIGHTBOX_FADE_TIME = 0.1;
 const CLOSE_BUTTON_FADE_TIME = 0.1;
 
 const DRAGGING_WINDOW_OPACITY = 100;