setting fonts for Yelp
- From: Alexander Kirillov <kirillov math sunysb edu>
- To: GDP <gnome-doc-list gnome org>
- Subject: setting fonts for Yelp
- Date: 24 May 2002 09:12:37 -0400
Hi guys:
can any one tell me if there is a way a user can specify fonts to be
used by Yelp? On my system, it uses ridiculously small font sizes.
AFAIK, Yelp uses Gtkhtml2, but I couldn't find anywhere a configuration
dialog which would allow changing fonts used by it. In fact, even the
dialog for setting Gtkhtml1 fonts is gone in GNOME 2. Looks like a
serious problem to me - and my vision is reasonably good.
At least, can I do it by changing some values
using gconf editor?
Sasha
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]