F17 Gnome3 workspace names

[Greg Woods]

On Thu, 2012-05-31 at 12:14 -0400, Paul W. Frields wrote:
> gsettings set org.gnome.wm.preferences workspace-names "['

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

On the other hand:

[greg at diamondage greg]$ gsettings list-keys
org.gnome.desktop.wm.preferences | grep workspace
num-workspaces
workspace-names

Looks like workspace-names *should* be a valid key, but it is not
accepted.

--Greg