On 03:08 18 Jun 2003, D. D. Brierton <darren@xxxxxxxxxxx> wrote:
| On Wed, 2003-06-18 at 02:37, Cameron Simpson wrote:
| > It would be interesting to post a "diff -u" between the good prefs.js
| > and the bad one.
| I don't think there's any need to post the whole output of diff -u [...]
| the new prefs.js does not have a single line beginning
| user_pref("font.
| in it. My old prefs.js files had survived numerous OS upgrades,
| re-installs and fresh installs, and had been in place, tweaked over
| time, through numerous versions of Mozilla (from the old milestone days)
| and Galeon (pre-1.0). Long before Unicode became the norm, and font
| handling became sane, I had manually set the fonts for every single
| encoding. [...]
Indeed, this is much more informative. Thanks!
--
Cameron Simpson <cs@xxxxxxxxxx> DoD#743
http://www.cskk.ezoshosting.com/cs/
Ho, HaHa, Dodge, Parry, Spin, HA! THRUST! - Daffy Duck
