Di recente ho eseguito l'aggiornamento a Ubuntu 12.04 e vedo che quando si utilizza eclipse per la modifica del codice sorgente, i caratteri in grassetto visualizzati con il carattere Monospace sono in realtà più spessi di quelli non in grassetto. Pertanto, il carattere Monospace non è in realtà mono-spazio. (stesso spazio per tutti i personaggi)
È un problema noto? Mi sto perdendo qualcosa?
Come posso renderlo di nuovo mono-spazio?