Linux Mint: come modificare i caratteri predefiniti e il dimensionamento dei caratteri

Gran parte del modo in cui interagiamo con i computer avviene attraverso il testo. Per visualizzare il testo sullo schermo, vengono utilizzati i caratteri che definiscono l'aspetto dei caratteri. È possibile utilizzare caratteri diversi per scopi diversi. Linux Mint definisce cinque usi standard per i caratteri che possono essere configurati indipendentemente.

Per configurare i caratteri utilizzati da Linux Mint è necessario aprire lo strumento di selezione dei caratteri. Per fare ciò, premi il tasto Super, quindi digita "Selezione carattere" e premi invio.

Suggerimento: il tasto "Super" è il nome che molte distribuzioni Linux danno al tasto Windows o al tasto "Comando" di Apple per evitare problemi con i marchi.

Il primo dei cinque caratteri "Carattere predefinito" viene utilizzato per la maggior parte del testo nel sistema operativo. Il "carattere desktop" viene utilizzato esclusivamente per le etichette delle icone del desktop. "Carattere documento" è pensato per essere utilizzato durante la visualizzazione di documenti, tuttavia, la maggior parte dei visualizzatori di documenti utilizza le proprie impostazioni del carattere, quindi non è molto utile. Il "Carattere monospazio" cambia il carattere utilizzato dalle applicazioni del terminale. Il carattere "Titolo finestra" cambia il carattere utilizzato per il titolo della finestra nella parte superiore di ogni finestra.

Nota: le opzioni dei caratteri hanno effetto solo su alcune applicazioni. Le app che impostano i propri caratteri come Libre Office Writer o Google Chrome non saranno interessate.

Linux Mint: come modificare i caratteri predefiniti e il dimensionamento dei caratteri

Ognuna delle cinque categorie di caratteri influisce su una parte diversa del sistema operativo e delle app che seguono il tema del sistema.

Facendo clic sul carattere attualmente utilizzato per una delle cinque categorie di caratteri, è possibile selezionare un nuovo carattere o configurare la dimensione del carattere. Nella finestra "Scegli un carattere", puoi utilizzare la casella di testo in alto per cercare un carattere per nome. Inoltre, la casella di testo in basso viene utilizzata per mostrare come appariranno il carattere e la dimensione del carattere risultanti.

Se vuoi tornare all'aspetto predefinito, i caratteri predefiniti sono rispettivamente "Ubuntu Regular", "Ubuntu Regular", "Sans Regular", "Monospace Regular" e "Ubuntu Medium". Tutti i caratteri hanno la dimensione predefinita 10.

Linux Mint: come modificare i caratteri predefiniti e il dimensionamento dei caratteri

Nella schermata "Scegli un carattere", puoi selezionare un nuovo carattere, modificare la dimensione del carattere e visualizzare un'anteprima.

Impostazioni dei caratteri

Il "Fattore di ridimensionamento del testo" regola il ridimensionamento di tutti i caratteri interessati, con numeri più grandi che ridimensionano i caratteri. "Suggerimento" è una tecnica per regolare la modalità di visualizzazione dei caratteri allineandoli orizzontalmente e verticalmente con i pixel fisici sullo schermo, nel tentativo di ridurre al minimo la sfocatura attorno alle linee rette.

L'"anti-aliasing" è un processo per cercare di appianare i bordi frastagliati, particolarmente evidenti su linee e curve diagonali, applicando un sottile effetto di sfocatura per migliorare la qualità dell'immagine. L'ordine “RGBA” viene utilizzato per configurare come viene applicato l'effetto di antialiasing.

Suggerimento: per l'anti-aliasing, "RGBA" si riferisce al tipo di colori applicati ai bordi smussati, in particolare: rosso, verde, blu e alfa. “Alpha” non è tecnicamente un colore, è invece il termine usato per indicare la trasparenza. Come parte del processo di levigatura, alcuni pixel hanno il loro colore regolato aggiungendo colore, mentre altri sono resi leggermente più trasparenti.

Linux Mint: come modificare i caratteri predefiniti e il dimensionamento dei caratteri

È possibile applicare un fattore di scala globale a tutti i caratteri e configurare alcune impostazioni grafiche minori che possono migliorare l'aspetto dei caratteri.



Leave a Comment

Risolvi lerrore Il file iTunes Library.itl è bloccato in iTunes

Risolvi lerrore Il file iTunes Library.itl è bloccato in iTunes

Risolvi un errore di Apple iTunes che indica che il file iTunes Library.itl è bloccato, su un disco bloccato o che non disponi dell'autorizzazione di scrittura per questo file.

Crea angoli arrotondati con Paint.NET

Crea angoli arrotondati con Paint.NET

Come creare foto dall'aspetto moderno aggiungendo angoli arrotondati in Paint.NET

ITunes: come riprodurre in ordine casuale o ripetere la musica

ITunes: come riprodurre in ordine casuale o ripetere la musica

Non riesci a capire come ripetere un brano o una playlist in Apple iTunes? All'inizio non potevamo neanche noi. Ecco alcune istruzioni dettagliate su come farlo.

Tutto quello che devi sapere su Elimina WhatsApp per me

Tutto quello che devi sapere su Elimina WhatsApp per me

Hai utilizzato Elimina per me su WhatsApp per eliminare i messaggi di tutti? Nessun problema! Leggi questo per sapere come annullare l'eliminazione per me su WhatsApp.

Disattiva le notifiche popup di AVG

Disattiva le notifiche popup di AVG

Come disattivare le fastidiose notifiche AVG visualizzate nell'angolo in basso a destra dello schermo.

Come eliminare il tuo account Instagram

Come eliminare il tuo account Instagram

Quando decidi di aver finito con il tuo account Instagram e di voler sbarazzartene. Ecco una guida che ti aiuterà a eliminare il tuo account Instagram temporaneamente o permanentemente.

Microsoft Teams: come correggere il codice di errore CAA50021

Microsoft Teams: come correggere il codice di errore CAA50021

Per correggere l'errore di Teams CAA50021, collegare il dispositivo ad Azure e aggiornare l'app all'ultima versione. Se il problema persiste, contatta l'amministratore.

Le 10 migliori alternative a Microsoft Teams nel 2023

Le 10 migliori alternative a Microsoft Teams nel 2023

Cerchi alternative a Microsoft Teams per comunicazioni semplici? Trova le migliori alternative a Microsoft Teams per te nel 2023.

Come cambiare limmagine del profilo su Disney+

Come cambiare limmagine del profilo su Disney+

Scopri quanto è facile cambiare l'immagine del profilo del tuo account Disney+ sul tuo computer e dispositivo Android.

I 9 migliori equivalenti di iMovie per Windows 11

I 9 migliori equivalenti di iMovie per Windows 11

Stai cercando un equivalente di iMovie per Windows 11/10? Scopri le alternative di Windows a iMovie che puoi provare per l'editing video.