Method move_window_to_workspace

src/workspaces.rs:302–312

(&mut self, window: &Window, workspace: u8)

	}

	pub fn move_window_to_workspace(&mut self, window: &Window, workspace: u8) {
		let mut removed = None;
		if let Some(ws) = self.workspace_from_window(window) {
			removed = ws.remove_window(window);
			refresh_geometry(ws)
		}
		if let Some(removed) = removed {
			self.workspaces[workspace as usize].add_window(removed);
			refresh_geometry(&mut self.workspaces[workspace as usize])
		}
	}
}