[Feature request] Workspace renaming UX overhaul

[antrmn]

I love this extension, it is the pivot of my window management and what makes GNOME truly enjoyable for me. However, the workspace renaming mechanism has always been kind of janky on my side. Currently, to rename a workspace, you need to left click on the workspace, type into the narrow text box that appears in the panel and then change workspace to apply the change. Sometimes the renaming also applies without switching workspace, although this has never worked consistently enough.

Also, lately I've been experiencing this bug where the text is not fully visible. This is a brief video as a visual proof:

Kooha-2024-05-24-19-59-52.webm

This is what I'm suggesting:

1. Keyboard shortcut: since renaming is an operation done necessarily through keyboard, it makes sense to have a (customizable) keyboard shortcut for it.
2. Context menu: using a context menu for renaming would result in less clutter in the panel space and a more familiar interface for the end-user. All it takes is pressing enter for confirming the input and making the context menu disappear.
3. Omit "Workspace" when there's no name: This is questionable, but I highly prefer to only see numbers (1, 2, 3) on unnamed workspaces rather than "Workspace 1", "Workspace 2", etc.

The Space Bar extension already provides these and can act as a source of inspiration:

Kooha-2024-05-24-20-23-41.webm

However, I would love to see something like this on this extension.

Thank you in advance