adds optional menu to rename workspaces

[rk1a]

Hi, I added a simple menu to directly rename workspaces.

When it is enabled in the preferences, a right click on the workspace bar opens the menu, a left click switches to the clicked workspace as before.

[fthx]

Hi, thanks for that.
Could you test your version for some time and check logs ("fthx", "js") to see if there is any error/warning?
Right now I don't have the time to review all that, but fast renaming is in the scope of this extension as it's used by a lot of people.

[rk1a]

Hi, thanks for that. Could you test your version for some time and check logs ("fthx", "js") to see if there is any error/warning? Right now I don't have the time to review all that, but fast renaming is in the scope of this extension as it's used by a lot of people.

Hi, sure, checking logs while clicking the bar always gives me an error which is however unrelated to the code I added:

JS ERROR: TypeError: dockManager is null
getRunningApps@/usr/share/gnome-shell/extensions/[email protected]/locations.js:653:9
wrapWindowsManagerApp/fileManagerApp._updateWindows@/usr/share/gnome-shell/extensions/[email protected]/locations.js:258:9
wrapWindowsManagerApp/windowsChangedId<@/usr/share/gnome-shell/extensions/[email protected]/locations.js:250:24
_toggle_ws@/home/me/.local/share/gnome-shell/extensions/workspaces-bar@fthx/extension.js:124:62
_update_ws/<@/home/me/.local/share/gnome-shell/extensions/workspaces-bar@fthx/extension.js:114:59

With my version I see this log message times the number of workspaces when first right-clicking on the bar and when I rename the workspaces:

clutter_input_focus_set_cursor_location: assertion 'clutter_input_focus_is_focused (focus)' failed

But there is no indication from where..

btw, I'm on gnome 40.4.0

[fthx]

I will look at this soon, during holidays.

[muhammad-saleh]

@fthx Did you have time to look into this? I think it will be a great add.