diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js index 705e8c8d2..9f73408d0 100644 --- a/js/ui/overviewControls.js +++ b/js/ui/overviewControls.js @@ -8,8 +8,9 @@ const Main = imports.ui.main; const Params = imports.misc.params; const ViewSelector = imports.ui.viewSelector; const WorkspaceThumbnail = imports.ui.workspaceThumbnail; +const Overview = imports.ui.overview; -var SIDE_CONTROLS_ANIMATION_TIME = 160; +var SIDE_CONTROLS_ANIMATION_TIME = Overview.ANIMATION_TIME; function getRtlSlideDirection(direction, actor) { let rtl = actor.text_direction == Clutter.TextDirection.RTL;