From 6d805bb91cfc57b8f979f01f04d55ab769f1df25 Mon Sep 17 00:00:00 2001 From: kenoiobi Date: Sat, 14 Jun 2025 11:29:22 -0300 Subject: [PATCH] have hidden workspaces not clutter active one --- window.js | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/window.js b/window.js index 303ac93..0e26400 100644 --- a/window.js +++ b/window.js @@ -80,6 +80,10 @@ export default class Window { hide() { this.instance.minimize(); + this.instance.change_workspace_by_index( + (global.workspace_manager.get_n_workspaces() - 1), + false + ); } focused() {