[gnome-shell] windowManager: use Meta.MonitorManager.get_display_configuration_timeout()

[Cosimo Cecchi <cosimoc src gnome org>]

commit c1e478eb53611b9d67f3e46094c591de803cc60f
Author: Cosimo Cecchi <cosimo endlessm com>
Date:   Fri Jun 17 17:14:02 2016 -0700

    windowManager: use Meta.MonitorManager.get_display_configuration_timeout()
    
    Instead of hardcoding a 20 seconds limit.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=767805

 js/ui/windowManager.js |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 272dbec..eac3889 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -33,7 +33,6 @@ var DIM_BRIGHTNESS = -0.3;
 var DIM_TIME = 0.500;
 var UNDIM_TIME = 0.250;
 
-var DISPLAY_REVERT_TIMEOUT = 20; // in seconds - keep in sync with mutter
 var ONE_SECOND = 1000; // in ms
 
 const GSD_WACOM_BUS_NAME = 'org.gnome.SettingsDaemon.Wacom';
@@ -64,7 +63,7 @@ var DisplayChangeDialog = new Lang.Class({
 
         this._wm = wm;
 
-        this._countDown = DISPLAY_REVERT_TIMEOUT;
+        this._countDown = Meta.MonitorManager.get_display_configuration_timeout();
 
         let iconName = 'preferences-desktop-display-symbolic';
         let icon = new Gio.ThemedIcon({ name: iconName });