Re: changing yelp font

From: Baptiste Mille-Mathias <baptiste millemathias gmail com>
Cc: GNOME Doc List <gnome-doc-list gnome org>
Subject: Re: changing yelp font
Date: Tue, 21 Jun 2005 18:51:12 +0200

On 6/21/05, Alexander Kirillov <shurik179 gmail com> wrote:
> Quick question: what determines the main font used by yelp? And how it
> can be changed?
the 10000$ answer;
edition -> preferences


-- 
Baptiste Mille-Mathias

References:
- changing yelp font
  - From: Alexander Kirillov

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]