shell: Move space_for_handle into Workspaces

2023-11-22 12:45:29 +01:00 · 2023-11-22 12:45:29 +01:00 · 996b5a8227
commit 996b5a8227
parent c09a735289
4 changed files with 36 additions and 16 deletions
--- a/src/wayland/handlers/xdg_shell/mod.rs
+++ b/src/wayland/handlers/xdg_shell/mod.rs
@ -289,6 +289,7 @@ impl XdgShellHandler for State {
                    let new_workspace_handle = self
                        .common
                        .shell
+                        .workspaces
                        .space_for_handle(&previous_workspace)
                        .is_some()
                        .then_some(previous_workspace)