windowManager: use Meta.MonitorManager.get_display_configuration_timeout()
Instead of hardcoding a 20 seconds limit. https://bugzilla.gnome.org/show_bug.cgi?id=767805
This commit is contained in:
parent
5f73693391
commit
c1e478eb53
@ -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 });
|
||||
|
Loading…
Reference in New Issue
Block a user