I also tried adding a new user to the system (and hence getting new gnome settings) and this didn't work either.
I also tried adding a new user to the system (and hence getting new gnome settings) and this didn't work either.