Don't hide scratch windows

2026-10-04 19:46:53 +00:00 · 2018-04-22 14:56:05 +02:00
parent 2ced462637
commit 4cccda6d05
1 changed files with 3 additions and 0 deletions
@@ -657,6 +657,9 @@ function showHandler(actor) {
    let metaWindow = actor.meta_window;
    let onActive = metaWindow.get_workspace() === global.screen.get_active_workspace();

+    if (Scratch.isScratchWindow(metaWindow))
+        return;
+
    if (metaWindow.clone.visible || ! onActive || Navigator.navigating) {
        actor.hide();
        metaWindow.clone.show();