Sticky monitor workspaces

[dalyIsaac]

The sticky monitor workspaces plugin (name TBD) should:

• [ ] Contain a list of workspaces assigned to a monitor
• [ ] Expose commands focus_next_workspace_on_current_monitor + *_previous_*, to activate the next/previous workspace in that monitor's list
• [ ] The existing focus_workspace commands would continue to do the same as they do now, but would move workspaces across monitors
  • The plugin would update the monitor object that keeps track of which workspace is on which monitor whenever a workspace is moved ( workspaces can only be assigned to a single monitor at a time)
• [ ] Config option that lets users configure which workspaces are assigned to which monitor on startup

Follow-on tickets

• [ ] Provide a variant of the WorkspaceWidget for the bar that only lists the currently active workspaces on each monitor.
• [ ] Command palette commands to configure which workspaces are assigned to a monitor on startup

---

Progress

• [ ] Move IInternalWorkspaceManager to WindowManager