pesader / high-bar Goto Github PK

• Menu entry
• Keyboard shortcut

When using many named workspaces, it can be hard differentiate their number at a glance (e.g. workspace 6 from workspace 7). For that reason, it may be nice to have the option to show both number and name.

Sometimes I accidentally overwrite the name of a workspace without all windows that fit that category. It may be nice to have the option to configure these on the extension's preferences window.

• Reorder workspace
• Remove workspace

• Switch to previous workspace should never activate the overview
• Super + Num should only activate the overview if it stayed in the same workspace

As the number of workspaces increases, the Application Menu moves to the right. It would be better if the Application Menu stayed in the same position regardless of the number of workspaces.

It would be great if workspaces were renamed:

• Based on the greatest percentage of matching windows, instead of simply the first window opened
• If a workspace is empty, its name is removed

Only showing the first letter of each workspace name (or the number, in case it has no name) would save a lot of space. It would be especially useful if the first letter is an icon, as shown in the screenshot below: