Prefs Removal Proposal
gerv at mozilla.org
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
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