Ho Eclipse installato su una macchina Linux. Qualche tempo fa ho fatto un aggiornamento di Linux e ha incasinato i caratteri sull'intero sistema. Tutti i font sono diventati più grandi. Quindi, sono andato dappertutto a ridimensionare i caratteri per ogni applicazione.
Indovina cosa ?! Nel prossimo aggiornamento di Linux, i font sono tornati alla normalità. Tuttavia, ho dovuto tornare indietro e annullare tutti i ridimensionamenti dei caratteri che avevo precedentemente fatto su ogni applicazione. Quindi, quando è arrivato il momento di reimpostare i caratteri in Eclipse, non riuscivo a ricordare esattamente cosa ho fatto. Sono andato al seguente percorso:
Window > Preferences > General > Appearance > Colors and Fonts > Basic > Text Font > Edit
Indipendentemente da ciò che ho fatto su questa impostazione, il font è rimasto lo stesso.
Finalmente ho capito quale fosse il problema. Ho anche ridimensionato i caratteri nel seguente percorso:
Window > Preferences > General > Appearance > Colors and Fonts > Structured Text Editors > Structured Text Editor Text Font (overrides default: Text Font) > Edit
Dopo aver modificato questa impostazione, i caratteri su Eclipse sono tornati alla normalità.