fonts.

[Dinh-Tuan Pham imag fr]

Lee Mallabone writes:
 > 
 > Is there any way to change the default fonts of the gnome help browser?
 > I've been using it as an info browser (something it does very well btw),
 > but the fairly small times-new-roman font is really not very nice on the
 > eyes...

I am glad I am not alone in having this problem. For months I have
tried to change font in gnome & Cie. I have posted several times in
various newsgroup without getting any answer. I have read the FAQ and
the user guide thoroughly. Never seen any mention about font. I am now
posting to this list and still waiting for an answer. Gnome is
supposed to ease the use of the sytem, but it does not allow the useer
to change the font ? X allow this, even microsoft allow this.

-----------------------------------------------------------------------
PHAM Dinh Tuan                         | e-mail: Dinh-Tuan.Pham@imag.fr
Laboratoire de Modelisation et Calcul  | Tel: +33 4 76 51 44 23
BP 53, 38041 Grenoble cedex (France)   | Fax: +33 4 76 63 12 63
-----------------------------------------------------------------------