Impossibile impostare "Carattere titolo parte" in Eclipse su Linux

Question

Ogni carattere in Eclipse sembra ottimo, ma i titoli delle schede sono più grandi di quanto preferirei. Cerco di cambiarlo, ma Eclipse non riconosce il cambiamento. Per apportare una modifica, navigo in Preferenze-> Generale-> Aspetto-> Font e Colori. Modifica "Carattere titolo parte" ma la modifica non rimane, anche se l'anteprima è OK.

Answer 1

Prima soluzione:

I "risolto" il problema per me stesso seguendo this advice dal fondo della pagina wiki ArchLinux per Eclipse e la rimozione di tutti i file css da/usr/share/eclipse/plugins /org.eclipse.platform_{version number}/css/

Ciò ha permesso al mio tema GTK di assumere il controllo completo e impostare tutti i colori e le dimensioni dei caratteri, che è quello che volevo.

Se si vuole approfondire la causa principale di questo problema, ecco alcuni link che trova:

• Bug 344234 - DBCS4.1 Can not change View Title Fonts in preference
• Change Eclipse “Part Title Font” (Version 4.2)
• Eclipse4/CSS

L'ultima pagina può essere un po 'confuso La linea di fondo è che si sono spostati su un sistema di tematizzazione completamente nuovo e lasciato in opzioni non funzionanti per ragioni che probabilmente non capirò mai.

Per ulteriori informazioni, solo Google "theming eclipse 4 with css".

Answer 2

Se si utilizza Linux GTK per eclipse, è possibile modificare il file $ {ECLIPSE_PATH} /plugin/org.eclipse.platform _ $ {versione} /css/e4_default_gtk.css. Se sei su un altro sistema operativo puoi anche trovare i file CSS corrispondenti.

trovare

.MPartStack { 
    font-size: 11; 
    swt-simple: false; 
    swt-mru-visible: false; 
} 

cambiamento del font-size a 9 o altro formato che si desidera. Dopo il riavvio di eclissi, la dimensione del carattere della barra del titolo della vista verrà modificata.