Michi ha scritto:
Ciao, qualcuno sa come modificare il font-size del terminale con windowmaker?
Ctrl+clickdestro
lo cambia in modo definitivo? nel senso all'avvio successivo che font-size mi trovo? ...Boh, direi di si`, se fai "salva sessione" (non lo uso mai e non ho voglia di provarlo adesso! ;-)
...e per cambiare il font-type?
Per i font (e per tante altre impostazioni) ti conviene usare wmakerconfig.
Ciao, gc :-)