In article <[EMAIL PROTECTED]>, Jonas =?ISO-8859-1?Q?J=F8rgensen?=
<[EMAIL PROTECTED]> writes:
>>>Absolutely! Don't think that we want to remove support for bookmark
>>>icons or page icons - they are great! What we are against is that
>>>Mozilla automatically requests the file "favicon.ico" from the server
>>>whenever you visit a new site. There is way (<link rel="icon"/>) to
>>>specify icons for pages, and Mozilla supports that as well, and that
>>>should NOT be removed.
>
>> Ah. In that case, I would think that the favicon.ico request process, since
>it
>> seems to have generated so much criticism, should be off by default but
>> available for activation by the user via the Preferences panel. In general,
>I
>> wish all Mozilla preferences would be selectable through the panel, or at
>least
>> locatable in a Help file.
>
>No normal users would ever touch this option, so adding it to
>Preferences would just add confusion, IMO. Ideally, I wish that the
>auto-favicon-fetch code would be completely removed from Mozilla.
I think that's the general rationale for keeping settings out of Preferences:
"no normal users would ever touch this option, so adding it would just cause
confusion." But isn't that what the "Advanced" section should be all about? For
example, most users wouldn't care about changing the cache location, but *I*
sure do: I like to back up my essential data daily to a Zip disk, and excluding
Mozilla's Cache directory is too hard because of the constantly-changing random
user directory name. Most users wouldn't care about shutting off pop-ups, but I
sure do. Most users wouldn't care about masking the user string... etcetera.
Seems to me the issue could be resolved by "Warning: do not change 'Advanced'
settings unless you really know what you are doing. Don't blame us if your
computer explodes."
Given the choice between too many options and not enough options, I'll go with
"too many" every time.
--
Mike Koenecke
send responses to mkoenecke ("at" symbol) alum.haverford.edu
