"- dconf-editor didn't see (check boxes) defaults that were set this way (and I think it did the first time)" for your information: it's already reported in GNOME bug tracker as bug 654812 (again, it's a minor thing and not a real problem here).