Public bug reported:
https://launchpad.net/malone/bugs/29835
Affects: gnome-desktop (Ubuntu)
Severity: Normal
Priority: (none set)
Status: Unconfirmed
Description:
In the preferences menu option for the Workspace Switcher, we can see
the names of the workspaces. However it is not obvious to a user that
they can single click twice on the name to edit the workspace name.
The user interface should contain some clues to denote that the names
can be editable.
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs