Re: jak zmensit systemovy font

[David Rohleder <davro zavinac ics bod muni bod cz>]

Ondrej Sury <ondrej zavinac globe bod cz> writes:

> 
> > > A zkousel jste nastavovat v Gnome Control Center/Themes defaultni font
> > 
> > ne, ja jsem byl zarazen tim Elvisem a Netscapem. Radeji nejdriv stahnu
> > ty X4 fonty (jen nechapu, proc by se mely menit - ale to je tim, ze tomu
> > nerozumim).
> 
> Mozna se zmenila struktura adresaru, kde XFree hledaji fonty.

Mozna si nerozumite. Pokud vim, tak Gnome Control Center ridi to, co
bude v titulku okna (tj. v jeho dekoraci). To je jednoduche
nastavit. Co nevim, je jakym zpusobem se vybira defaultni font pro
takova ta menu napr. v gnome-terminal. Neni to ani defaultni fixed a
ani variable. A jak se zjistuji X resources jsem zapomel :-( A ke
gnome-terminal neni manova stranka.

Taky me ten problem mirne stve.

Nevi nekdo jak se jmenuje ten programek na zjistovani xresources v
danem okne?


-- 
-------------------------------------------------------------------------
David Rohleder                                          davro zavinac ics bod 
muni bod cz
Institute of Computer Science, Masaryk University
Brno, Czech Republic
-------------------------------------------------------------------------