> I'm Thomas Thurman, the developer who wrote the original patch. The schema > patch looks good to me: Adalbert, would you mind also attaching it to gnome > bug 83892?
Done. > Incidentally, I was wondering whether you wanted it to default to true or > false in Debian. I don't want to make anyone upset (as it seems to me, there are pretty many people having strong objections against the feature), nor do I want anyone to lose his data by accidently double-clicking the menu button (which I find very improbable, but that's another story...). So I'd rather turn it off by default. > (Defaulting it to false upstream seems like the best idea.) I don't understand quiet. Most developers commenting on gnome bug #83892 seem not to want the patch to be included upstream. Adalbert -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]