Oblomov@GustavinoBevilacqua@mastodon.cisti.org la cosa importante se cambi dimensione del font è che probabilmente dovrai anche cambiare posizioe e dimensione di tutti i bottoni. Che con xcalc si può fare (tramite Xresources), ma è 'na fatica.
rag. Gustavino Bevilacqua@oblomov@sociale.network
A casa l'ho fatto anni fa, ma non ricordo più come.
Diego Roversi@GustavinoBevilacqua@mastodon.cisti.org @oblomov@sociale.network probabilmente le impostazioni sono in $HOME/.Xdefaults
Se hai un pc con le impostazioni, puoi guardare lì come l'avevi fatto.
rag. Gustavino Bevilacqua@diegor@social.gl-como.it
È ciò che ho in mente di fare… quando mi ricorderò.
@oblomov@sociale.network
Diego Roversi@GustavinoBevilacqua@mastodon.cisti.org @oblomov@sociale.network soben io mi suggerisce:
forums.bunsenlabs.org/viewtopi…
rag. Gustavino Bevilacqua@diegor@social.gl-como.it @oblomov@sociale.network
Avevo visto qualcosa di analogo, quando ho tempo e non ho nulla da fare ci provo.
rag. Gustavino Bevilacqua@diegor@social.gl-como.it @oblomov@sociale.network
Avevo visto qualcosa di analogo, quando ho tempo e non ho nulla da fare ci provo.