F17 Gnome3 workspace names

[Ron Yorston]

Greg Woods wrote:
>Poked around a little, "gsettings list-schema" shows that the schema
>maybe should be "org.gnome.desktop.wm.preferences", so I tried that:
>
>[greg at diamondage greg]$ gsettings set org.gnome.desktop.wm.preferences
>workspace-names "['Local','E-mail','Web','Virtual','Systems',Misc']"
>44-45:unknown keyword

There's a typo in the command: a missing single quote before Misc.

It does work, and just last week I updated my Bottom Panel[1] Shell
extension to display workspace names as tooltips.

Ron

[1] https://extensions.gnome.org/extension/3/bottom-panel/