From 8a5e793b3d984f3acc378cf8914410311e9dde0e Mon Sep 17 00:00:00 2001 From: Daniel van Vugt Date: Thu, 28 Jan 2021 16:33:50 +0800 Subject: [PATCH] auto-move-windows: Don't move windows already on all workspaces This fixes a particular case of mutter#992. Although gnome-shell will also be softened to not crash in future, it's also a good idea for the extension to explicitly decide how it wants to handle windows that are already on all workspaces. Part-of: --- extensions/auto-move-windows/extension.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/auto-move-windows/extension.js b/extensions/auto-move-windows/extension.js index b9bc3a0..3859809 100644 --- a/extensions/auto-move-windows/extension.js +++ b/extensions/auto-move-windows/extension.js @@ -72,7 +72,7 @@ class WindowMover { } _moveWindow(window, workspaceNum) { - if (window.skip_taskbar) + if (window.skip_taskbar || window.is_on_all_workspaces()) return; // ensure we have the required number of workspaces -- 2.37.1