Buongiorno. Ho installato Ubuntu 20.04 su un Lenovo Ideapad 330S 15iKB. Dopo l'installazione ho notato che i fonts delle apps e del DE Gnome sono piccoli. Avevo risolto impostando la dimensione dei fonts a 1.5 usando Gnome Tweaks (Personalizzazioni). Purtroppo dopo l'ultimo aggiornamento i caratteri dell'ambiente Gnome mi appaiono piccoli ad ogni avvio del sistema. La cosa strana è che su Gnome tweaks i fonts sono impostati alla grandezza 1.50. Modificando la grandezza dei fonts (mettendo ad 1.51 e poi ad 1.50, ad esempio) si risolve tutto (i fonts tornano alla grandezza 1.50). Cosa posso fare per risolvere il problema definitivamente? |
Segui questa domanda
Via email:Una volta eseguito l'accesso potrai iscriverti a tutti gli aggiornamenti qui
Via RSS:Basi di markdown
- *corsivo* o __corsivo__
- **grassetto** o __grassetto__
- collegamento:[testo](http://url.com/ "titolo")
- immagine?
- elenco numerato: 1. Foo 2. Bar
- per aggiungere un'interruzione di riga, aggiungi due spazi a fine riga e premi «Invio»
- è supportato anche semplice HTML
Tag:
domanda posta: 21 Aug '20, 10:03
domanda visualizzata: 427 volte
ultimo aggiornamento: 21 Aug '20, 10:45
mah, proverei a togliere e a reinstallare "gnome-tweaks"
con: apt purge nome_pacchetto