changing yelp font
- From: Alexander Kirillov <shurik179 gmail com>
- To: GNOME Doc List <gnome-doc-list gnome org>
- Subject: changing yelp font
- Date: Tue, 21 Jun 2005 08:33:51 -0400
Quick question: what determines the main font used by yelp? And how it
can be changed?
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
