Open antrmn opened 4 months ago
Thank you for the feedback!
I agree, the workspace renaming mechanism is pretty bad. I will try to improve it in the next update, the Space Bar extension you mentioned looks cool, I will for sure look into it.
I personally think that there should be a preference to disable the ability to rename (maybe it should be even off by default) as it might confuse users who right click accidentally. Maybe having a workspace naming UI in the preferences might be more intuitive (although some power users might want to rename workspaces on the fly)
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:
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