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

[Pascal Brisset]

With (from the gconf-editor package)

       gconf-editor

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)

--Pascal

Marcus Wolschon wrote:
> 2008/10/13, Pascal Brisset <address@hidden>:
>   
> > Hi,
> >
> > 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?
>
> Marcus
>
>
> _______________________________________________
> Paparazzi-devel mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/paparazzi-devel
>