Prefs Removal Proposal

Gervase Markham gerv at
Wed Aug 29 18:31:50 UTC 2007

Frédéric Buclin wrote:
>> It seems more irrelevant than the others. I can see vague use cases for
>> them (although yes, of course, they are just as easy to work around).
> Your workaround (adding a dot in a comment) is irritating. Better to
> turn off the parameters in this case.

You've missed my point. In installations where they _want_ this feature, 
people who can't be bothered to provide the information can work around 
the setting by putting a dot in the comment box. So why bother having 
the setting anyway?

>> We hard-code a default, which is the default we've been using for N
>> years now. As it's editable, people can always edit it if they don't
>> like it.
> And you still need a mechanism for this "special" saved search. Not very
> helpful.

I don't understand your point here. My entire idea is that this saved 
search is not "special" in any way. It's just another saved search. It 
just happens to have been created automatically when you create the 
account (i.e. one line of SQL in the account creation script) rather 
than created by you. After that, it's managed the same way as any others 
the user might create.


More information about the developers mailing list