[Feature Request] Add selectors for workspaces

[KappaDistributive]

This might be out of scope of this project and if so, I respect that.

However, personally I'd really like to have the option of numeric selectors for workspaces.

And while at it, if we decide to add this feature, I'd also change how selectors currently work: Let's say I have three windows, A B on workspace 1 and C on workspace 2.

If I'm on workspace 1, I can select C and switch to that window on workspace 2. In practice, I'm not convinced that this is all that useful because the assigned selectors change all the time (because of new and closed windows), so that the user almost has to see the overlayed selector before making their choice. Since they don't see selectors overlayed for windows outside of their current workspace, we might not want to assign any selectors to them.

[nathanielsimard]

It would be possible to have selectors for workspaces, but I'm not sure to understand the benefits of that. Because each window of every workspaces of every monitors can be selected during the overview, it's possible to change workspace during the overview and select the window you want no matter its workspace.

Which is a similar workflow than having to select a workspace and than select a window.

Did I understand correctly your request ?

[KappaDistributive]

@nathanielsimard I think you understood correctly what I'm asking for.

The reason the current system doesn't satisfy my needs can best be explained with two examples.

1. Suppose I want to switch to a workplace that doesn't currently have any window in it. This, as far as I can tell, is not possible with the current version of this extension.

2. Now suppose there is an open window on my desired workspace. If I pull up the overview and trigger the selector overlays, I cannot see the selector given to the window (which is on another workspace). However, if I were able to select the workspace first, this problem would go away.