Si os habeis instalado alguna de las versiones 4 de Eclipse en Linux puede que una de las cosas que no se ven muy bien es el tamaño de la fuente con la cual pone el nombre de los ficheros en las pestañas, ya que esta aparece muy grande.
Si quereis modificar el tamaño de esa fuente para que sea mas pequeña podéis hacerlo editando el fichero css $eclipse/plugins/org.eclipse.platform_4.*/css/e4_default_gtk.css y buscar la sección .MPartStack y realizar el siguiente cambio:
.MPartStack {
/* font-size: 11;*/
swt-simple: false;
swt-mru-visible: false;
}
Si ahora reiniciais eclipse veréis que el tamaño de fuente que aparece en las pestañas es mas normal.
http://marian.schedenig.name/2013/06/30/eclipse-4-x-tab-font-sizes-in-gtk/
rubenlacasa.es 