debian e font

[Marco Bisetto]

>p.s. cosa sono esattamente i fonts "transcoded" e perchè risolvono il 
>problema?

I font transcoded sono dei font classici di X, pero' con l'aggiunta
(rispetto alle versioni puramente anglosassoni) di caratteri tipici
degli alfabeti europei, con il supporto quindi di codifiche come
l'iso8859-15.

Presumo che il motivo della magica scomparsa del tuo problema dipenda
dal funzionamento di X. Se gtk era configurato per utilizzare un certo
font, ad esempio Times, ma di quel font non era disponibile la
codifica richiesta dalla tua locale, X ricadeva per default sul primo
font disponibile che supportasse la codifica voluta, ma se tale font
era presente solo nelle dimensioni minori, tutto appariva piccolo.

Per scegliere font e temi di gtk esiste un comando che si chiama
switch (switch2 per gtk2), con il quale e` possibile un certo grado di
personalizzazione. Le modifiche apportate vengono memorizzate in
~/.gtkrc-2.0.

Ciao.

Marco Bisetto