Come modificare le dimensioni del carattere dell'eclissi

8

Sto cercando di ridurre le dimensioni dei caratteri utilizzati in Eclipse. Ho letto diverse note che parlano di come farlo, ma nessuno di loro ha fatto la differenza.

Ovviamente, cambiarlo nelle preferenze di Eclipse non lo fa.

Le risposte comuni sull'uso di "Aspetto-> Caratteri" non funzionano, perché non esiste una scheda "Caratteri". Credo di aver visto una persona dire che la scheda "Caratteri" non dovrebbe più essere lì.

Il prossimo suggerimento è installare MyUnity e modificare lì le impostazioni del carattere. Ciò sembrava cambiare i caratteri utilizzati in altre app, come gnome-terminal e le intestazioni delle finestre, ma non ha ancora avuto alcun effetto su Eclipse.

fonts eclipse

— David M. Karr
fonte

Questa soluzione ha funzionato per me: stackoverflow.com/questions/11805784/…

— Gabriel Mendez,

6

Prova questo:

Modifica e4_default_gtk.css.

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.css

Aggiungi alla fine:

* {
  font-size:8;
}

Salva e avvia Eclipse.

Questo ha funzionato per me su Ubuntu 14.04 ed Eclipse Luna.

— Tiago Norberto
fonte

ha funzionato come un fascino. Tutte le dimensioni dei caratteri diventano più piccole.

— Evan Hu,

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.cssnon è pensato per essere incollato letteralmente, giusto? Questo apre un file vuoto per me.

— MadMike,

Potrebbe essere necessario modificare un file diverso a seconda del tema attivo, ad es css/e4-dark.css.

— mapm

4

Ho capito i pezzi mancanti di questo. La parte difficile è controllare la dimensione del carattere per le viste non editor, come Esplora pacchetti. Ho scoperto quanto segue, che ha fatto il trucco per me:

Caratteri di dimensioni minori per Eclipse su Linux

— David M. Karr
fonte

2

Nella versione Eclipse Oxygen (e successive), i file CSS sono stati rifattorizzati e lo font-sizestile di base ora dovrebbe essere modificato e4_basestyle.css.

— javabrett
fonte

1

vai al menu Window -> Preferences, qui vai a General -> Appearance -> Colors and Fonts, questo mostra le configurazioni per le prospettive, come java. Nell'opzione java, selezionare il pulsante The Java editor text font is used by Java editors.e dopo Edit ..., qui è possibile modificare le proprietà del carattere.

— richie-torres
fonte

5

Quando ho detto "Ovviamente, cambiarlo nelle preferenze di Eclipse non lo fa", significa che l'ho già provato.

— David M. Karr,

quindi di cosa hai bisogno? la risposta cambia il carattere, test.

— richie-torres,

Ok, hai ragione, questo cambia la vista dell'editor. Tuttavia, mi sembra impossibile modificare la dimensione del carattere per le altre viste.

— David M. Karr,

vuoi cambiare il carattere di tutti gli IDE (menu, pannello, ecc.)?

— richie-torres,

Questa è l'idea, sì.

— David M. Karr,

1

Ho provato Myunity su ubuntu12.04 a 64 bit e ha funzionato. Se si modifica il carattere di sistema, influisce sui caratteri di eclissi nei menu e nelle schede. Per il contenuto del testo negli editor di testo di eclipse è necessario modificare le impostazioni del carattere dalla pagina delle proprietà di eclipse stesso.

— a.toraby
fonte

1

Segui questi passaggi: