From 01dbfddb64cbd89a8abc5c432aa76aca86d69447 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Mon, 4 Nov 2013 10:21:59 +0100 Subject: [PATCH] workspace: Remove unused includes and constants --- js/ui/workspace.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/js/ui/workspace.js b/js/ui/workspace.js index 57a7de418..be1407d90 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;