ext-workspace-manager-v1: order workspaces numerically

2026-05-03 05:45:10 -04:00 · 2026-05-03 05:45:10 -04:00 · 41bc660401
commit 41bc660401
parent 206a5fb19e
3 changed files with 43 additions and 6 deletions
--- a/src/tree/output.rs
+++ b/src/tree/output.rs
@ -761,6 +761,9 @@ impl OutputNode {
            client.error(e);
        }
        self.state.workspace_managers.announce_workspace(self, &ws);
+        self.state
+            .workspace_managers
+            .update_workspace_coordinates(self);
        self.schedule_update_render_data();
        ws
    }