[Top][All Lists]

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

Re: [Paparazzi-devel] Re: GCS cleaning up

From: Pascal Brisset
Subject: Re: [Paparazzi-devel] Re: GCS cleaning up
Date: Mon, 13 Oct 2008 14:11:59 +0200
User-agent: Icedove (X11/20080724)

With (from the gconf-editor package)


you can try to directly edit the desktop/gnome/interface/font_name attribute (I'm using "Sans 8" or even "Sans 7" on tiny screens)


Marcus Wolschon wrote:
2008/10/13, Pascal Brisset <address@hidden>:

fixed in the CVS head: on launch, the gauge width is adapted to the
current font. Note that the "current" font is the "Application Font" of
the Gnome "Font Preferences" (from your Desktop Preferences menu) where
you can change its size.

Thanks for the info.
Where do non-gnome -users need to go to change it?


Paparazzi-devel mailing list

reply via email to

[Prev in Thread] Current Thread [Next in Thread]