gnome-shell-extension-workspace-switcher icon indicating copy to clipboard operation
gnome-shell-extension-workspace-switcher copied to clipboard

Published 20 hours ago • verified publisher icon Tomha

Changing workspace name doesn't update name in drop-down menu

Open pbinkley opened this issue 5 years ago • 0 comments

I've got "show names" turned on. If I change a workspace name in the extension preferences, the new name displays correctly in the top bar when I am in that workspace. In the dropdown, however, I still see the old name. If I change the mode in the preferences, the dropdown gets updated and I see the new name. It would be nice if the list updated automatically.

I'm on Ubuntu 20.4.

pbinkley avatar Jul 10 '20 15:07 pbinkley