search

christopher-l / space-bar

GNOME Shell extension that shows workspaces buttons in top panel
178 stars 13 forks source link

Right-clicking a workspace renames the current workspace instead of the one clicked on #42

Open unikitty37 opened 5 months ago

unikitty37 commented 5 months ago

If I have three workspaces (Space 1, Space 2, and Space 3) with Space 1 currently selected, if I right-click on Space 3 I get the option to rename the current workspace (Space 1). To rename Space 3, I must first activate it.

IMHO, this is confusing — right-clicking on something usually means you want to perform an action on that thing, not on something else. It also makes renaming a workspace a bit more tedious than it has to be.

Would it be possible for right-clicking a workspace to rename that workspace rather than the current one?

(I'm sure some people are sufficiently used to the current behaviour that there might need to be a setting for this :)

christopher-l commented 5 months ago

Hi @unikitty37, thanks for filing the issue!

The behavior is this way, mainly for a technical reason: The entire widget is a single button, so it would be difficult to match the menu position to different workspace labels. Having the menu be vary of the clicked workspace label but not adjust its position seems confusing. Also the background highlight of the widget suggests, that the menu is for the entire widget. image

All of this could be changed, of cause, but it didn't seem worth the effort. I think the best approach to implement your suggestion would be to change the widget to consist of multiple buttons. However, that would mean some major refactoring, which probably won't happen in the near future.