34 lines
1.2 KiB
Diff
34 lines
1.2 KiB
Diff
|
From 8a5e793b3d984f3acc378cf8914410311e9dde0e Mon Sep 17 00:00:00 2001
|
||
|
|
From: Daniel van Vugt <daniel.van.vugt@canonical.com>
|
||
|
|
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: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/157>
|
||
|
|
---
|
||
|
|
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
|
||
|
|
|