Sergio Costas d75a3484d6 windowManager: detect change to a non-existent WS ... When using dynamic workspaces, it is possible to try to change to a non-existent one if the user defines hotkeys for changing to desktop 1, 2, 3... This case is not detected, and gnome shell shows an error: JS ERROR: TypeError: workspace is null actionMoveWorkspace@resource:///org/gnome/shell/ui/windowManager.js:2130:13 wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22 _showWorkspaceSwitcher@resource:///org/gnome/shell/ui/windowManager.js:2104:13 wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22 This patch adds a check before trying to change the workspace, to avoid switching to a non-existent one. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/365		2019-01-24 23:59:23 +01:00
..
extensionPrefs	dbus: Move all interface descriptions into the resource	2018-09-17 07:34:49 +00:00
gdm	cleanup: Remove obsolete Lang imports	2019-01-22 21:33:46 +00:00
misc	cleanup: Remove obsolete Lang imports	2019-01-22 21:33:46 +00:00
perf	scripting: Fix argument list of createTestWindow()	2018-04-25 23:47:06 +02:00
portalHelper	dbus: Move all interface descriptions into the resource	2018-09-17 07:34:49 +00:00
ui	windowManager: detect change to a non-existent WS	2019-01-24 23:59:23 +01:00
js-resources.gresource.xml	Add app introspection API	2019-01-09 10:13:45 +01:00
meson.build	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml	build: Include params.js in portal-helper gresources	2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00