"- 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).

Reply via email to