Archivo de la etiqueta: eclipse

Cambiar el tamaño de la fuente en las pestañas de Eclipse 4x

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/

http://stackoverflow.com/questions/11805784/very-large-tabs-in-eclipse-panes-on-ubuntu/11833695#11833695

Anuncios

Markdown Text-Editor plugin for Eclipse : Winterwell Associates – mathematics, data-mining & AI consultants

Plugin muy util, tanto para eclipse como para zend studio para la edición y previsualización para Markdown

Markdown Text-Editor plugin for Eclipse : Winterwell Associates – mathematics, data-mining & AI consultants.

Enhanced by Zemanta