Come risolvere il problema di rendering dei font in grassetto con gnome-terminal

4

Chiaramente c'è un problema nel rendering di caratteri in grassetto nel terminale. La versione gedit di Monaco ha un aspetto molto migliore e viene resa correttamente.

Ho anche provato il font Monaco su Gvim e il terminatore. Hanno lo stesso problema (non vengono visualizzati correttamente). Solo gedit sembra renderlo correttamente.

Quale potrebbe essere la ragione e c'è un modo per risolverlo?

    
posta Mad-scientist 04.01.2012 - 18:25

2 risposte

1

Non vedo davvero un problema qui, anche se concedo che il rendering è diverso.

Questo effetto si verifica anche con altri tipi di carattere? Il problema potrebbe essere il seguente: Il carattere di Monaco su cui sono riuscito a mettere le mani semplicemente non ha una variante in grassetto. Ciò significherebbe che il grassetto deve essere simulato e che diversi renderer sembrano ottenere risultati completamente diversi.

    
risposta data MPi 11.01.2012 - 16:58
0

Hai provato a giocare con le opzioni del profilo in terminator? Ho appena dato un'occhiata e ho trovato un'opzione per "Testo anti-alias". Forse potresti provarlo e vedere se fa sembrare il font come ti aspetti che guardi.

Per trovare l'opzione,

  • fai clic con il pulsante destro del mouse sulla finestra di terminazione,
  • seleziona "Preferenze"
  • scegli la scheda "Profili"
  • sotto la scheda "Generale" (sotto) c'è un'opzione chiamata testo "Anti-alias".

Questo è nella versione 0.95 del terminatore. Ho dato un'occhiata veloce e non ho trovato nessuna opzione corrispondente in gnome terminal o gedit.

    
risposta data Hamish Downer 09.01.2012 - 23:17

Leggi altre domande sui tag