I'm Thomas Thurman, the developer who wrote the original patch. The schema patch looks good to me: <span style="font-family: monospace;"></span>Adalbert, would you mind also attaching it to gnome bug 83892?<br><br>Incidentally, I was wondering whether you wanted it to default to true or false in Debian. (Defaulting it to false upstream seems like the best idea.)
<br>