diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index d450f35f9..17576a07e 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -24,7 +24,7 @@ const EdgeDragAction = imports.ui.edgeDragAction; const CloseDialog = imports.ui.closeDialog; const SwitchMonitor = imports.ui.switchMonitor; -const SHELL_KEYBINDINGS_SCHEMA = 'org.gnome.shell.keybindings'; +var SHELL_KEYBINDINGS_SCHEMA = 'org.gnome.shell.keybindings'; var MINIMIZE_WINDOW_ANIMATION_TIME = 0.2; var SHOW_WINDOW_ANIMATION_TIME = 0.15; var DIALOG_SHOW_WINDOW_ANIMATION_TIME = 0.1; diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js index c1b4bddc6..e11f32afb 100644 --- a/js/ui/workspaceThumbnail.js +++ b/js/ui/workspaceThumbnail.js @@ -31,7 +31,7 @@ var WORKSPACE_CUT_SIZE = 10; var WORKSPACE_KEEP_ALIVE_TIME = 100; -const OVERRIDE_SCHEMA = 'org.gnome.shell.overrides'; +var OVERRIDE_SCHEMA = 'org.gnome.shell.overrides'; /* A layout manager that requests size only for primary_actor, but then allocates all using a fixed layout */ @@ -241,7 +241,7 @@ var WindowClone = new Lang.Class({ Signals.addSignalMethods(WindowClone.prototype); -const ThumbnailState = { +var ThumbnailState = { NEW : 0, ANIMATING_IN : 1, NORMAL: 2,