Subject: Re: patch: SmartQuotesEnable preference item
From: WJCarpenter (bill-abisource@carpenter.ORG)
Date: Mon Jul 17 2000 - 13:53:37 CDT
wjc> And while we're at it, would Tools->Preferences be a better name
wjc> than Tool->Options?
BTW, in case it's not obvious why I ask this, it's because in the
source code and developer discussions, there is a strong bias (perhaps
exclusively so) to call those things "preferences" or "user
preferences". Since "options" and "preferences" sound like the same
thing to me, I thought it might be better to have the user view in
sync with the developer view (to perhaps obviate endless minor
corrections to help files and documentation).
So, let me ask it this way: Is there anyone of the opinion that
"Options" is somehow better in this context than "Preferences"? If I
don't hear from anyone to the contrary within a few days, I'll submit
a patch to change the word in the menu.
-- bill@carpenter.ORG (WJCarpenter) PGP 0x91865119 38 95 1B 69 C9 C6 3D 25 73 46 32 04 69 D6 ED F3
This archive was generated by hypermail 2b25 : Mon Jul 17 2000 - 13:56:01 CDT