pub(super) fn handle_switch_workspace(
state: &mut State,
window_id: String,
workspace_id: String,
) -> Vec<Event>Expand description
Phase E.5 — change which workspace a window points at. Errors (non-fatal) if the window or destination workspace is unknown. No-op if the window is already pointing at the destination.