Ignore "workspace-names" pref change in gnome desktop schema
Merge pull request #98 from mtwebster/gnome-ws-names

Ignore "workspace-names" pref change in gnome desktop schema