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@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/