diff --git a/js/ui/overview.js b/js/ui/overview.js index ee2c0769f..fb6b910ab 100644 --- a/js/ui/overview.js +++ b/js/ui/overview.js @@ -19,6 +19,7 @@ const OverviewControls = imports.ui.overviewControls; const Panel = imports.ui.panel; const Params = imports.misc.params; const Tweener = imports.ui.tweener; +const WorkspaceThumbnail = imports.ui.workspaceThumbnail; // Time for initial animation going into Overview mode const ANIMATION_TIME = 0.25;