Matthew Thomas wrote:
> I think it is useful to use the word `preferences' consistently for
> those options which apply to mail/news in general, and the word
> `settings' consistently for those options which apply to individual
> accounts in particular.
Why? There are also "prefs" which are really "preferences", but apply to
individual accounts only.
I could see that we call those "prefs" which depend on the user
"preferences" and those that depend on his IT-infrastructure "settings",
but this proposal has already been rejected on .mail-news (or was it
.prefs?).
> When that happens, flagging which options are global and which options
> are account-specific will be even more important, and vocabulary is one
> way of doing that.
But the hierarchy is a better one.
--
This message is protected by ROT0 encryption and the DMCA.
Reading is disallowed and will be prosecuted.
