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 (it's
very, very long). I can tell you what the most significant difference
is: 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. Now this used to work, but I suspect that the settings were
just too complicated and baroque for their own good. I guess I'll see
how well things stand up when I browse pages in non-European scripts,
but I'm reasonably confident that Red Hat have got this stuff working
quite well now.
Best, Darren
--
=====================================================================
D. D. Brierton darren@xxxxxxxxxxx www.dzr-web.com
Trying is the first step towards failure (Homer Simpson)
=====================================================================
