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