diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js index d1aac3593..6395dc4f7 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;