No se puede establecer "Fuente de título de parte" en Eclipse en Linux

Question

Cada fuente en Eclipse se ve muy bien, pero los títulos de las pestañas son más grandes de lo que yo preferiría. Intento cambiarlo, pero Eclipse no reconoce el cambio. Para hacer un cambio, navego a Preferencias-> General-> Apariencia-> Fuente y colores. Edito "Fuente de título de parte" pero el cambio no se mantiene, aunque la vista previa es correcta.

Answer 1

En primer lugar la solución:

I "resuelto" el problema por mí mismo siguiendo this advice desde el final de la página wiki de Arch Linux para Eclipse y la eliminación de todos los archivos .css desde/usr/share/eclipse/plugins /org.eclipse.platform_{version number}/css/

Esto permitió que mi tema GTK tomara el control total y configurara todos los colores y tamaños de fuente, que es lo que yo quería.

Si desea profundizar en la causa principal de este problema, aquí hay algunos enlaces que pertenece:

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

Esa última página puede ser un poco confuso La conclusión es que se han movido a un sistema de tematización completamente nuevo y se han dejado en opciones rotas por razones que probablemente nunca entenderé.

Para obtener más información, simplemente Google "theming eclipse 4 with css".

Answer 2

si está utilizando Linux que está utilizando GTK para eclipse, puede cambiar el archivo $ {ruta_ECLIPSE} /plugin/org.eclipse.plataforma _ $ {versión} /css/e4_default_gtk.css. Si se encuentra en otro sistema operativo, también puede encontrar los archivos css correspondientes.

encuentran

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

cambio el tamaño de fuente a 9 o de otro tamaño que desee. Después de reiniciar eclipse, se cambiará el tamaño de fuente de la barra de título de vista.