Ubuntu
gnome-panel package

  1. Bug #110420
  2. Comment #7

Comment 7 for bug 110420

Revision history for this message
Eyal Levy (eyallvy) wrote :

Same here. In Gnome, the initial naming of the workspaces was OK, but further renaming of the newly initialized names is not possible. You edit the name in "Preferences" and the change is simply ignored.