From eec673efc5e0d34d532096ce5cf8c320902ef2d0 Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Thu, 23 Mar 2023 09:04:55 -0400 Subject: [PATCH] Ignore wayland DING when hiding workspace windows #1868 --- panel.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/panel.js b/panel.js index b48da1e6..a5697b63 100644 --- a/panel.js +++ b/panel.js @@ -1154,7 +1154,7 @@ var Panel = GObject.registerClass({ let time = Me.settings.get_int('show-showdesktop-time') * .001; workspace.list_windows().forEach(w => { - if (!w.minimized) { + if (!w.minimized && !w.customJS_ding) { let tweenOpts = { opacity: hide ? 0 : 255, time: time,