[Bug 29835] Workspace Switcher: Editable entries not obvious

[Vivek Bhanuprakash]

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.