È relativamente semplice modificare le dimensioni dei caratteri in Eclipse tramite le preferenze (e risposto più volte in questo forum).
Tuttavia, vorrei modificare rapidamente la dimensione del carattere (ad es. Con Ctrl+ +e Ctrl+ -come nel terminale Linux o Ctrl+ mouse wheelnelle app MS Office). C'è un modo per farlo in Eclipse?
Window > Preferences > General > Keys
, assegnate a CTRL + - e CTRL + =, ma non riesco a farle funzionare ...