wezterm.mux.set_active_workspace(WORKSPACE)
Since: 20220624-141144-bd1b7c5d
Sets the active workspace name.
If the requested name doesn't correspond to an existing workspace, then an error is raised.
wezterm.mux.set_active_workspace(WORKSPACE)
Since: 20220624-141144-bd1b7c5d
Sets the active workspace name.
If the requested name doesn't correspond to an existing workspace, then an error is raised.