Cómo cambiar los tamaños de fuente de eclipse

8

Estoy tratando de reducir los tamaños de fuente utilizados en Eclipse. He leído varias notas que hablan sobre cómo hacer esto, pero ninguna de ellas ha marcado la diferencia.

Obviamente, cambiarlo en las preferencias de Eclipse no lo hace.

Las respuestas comunes sobre el uso de "Apariencia-> Fuentes" no funcionan, porque no hay una pestaña "Fuentes". Creo que vi a una persona decir que la pestaña "Fuentes" ya no debería estar allí.

La siguiente sugerencia es instalar MyUnity y cambiar la configuración de fuente allí. Eso pareció cambiar las fuentes utilizadas en otras aplicaciones, como gnome-terminal y encabezados de ventanas, pero aún no ha tenido efecto en Eclipse.

fonts eclipse

— David M. Karr
fuente

Esta solución funcionó para mí: stackoverflow.com/questions/11805784/…

— Gabriel Mendez

6

Prueba esto:

Editar e4_default_gtk.css.

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

Añadir al final:

* {
  font-size:8;
}

Guarde e inicie Eclipse.

Esto funcionó para mí en Ubuntu 14.04 y Eclipse Luna.

— Tiago Norberto
fuente

trabajado como un encanto. Todos los tamaños de fuente se hicieron más pequeños.

— Evan Hu

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.cssno está destinado a ser pegado literalmente, ¿verdad? Esto abre un archivo vacío para mí.

— MadMike

Es posible que deba editar un archivo diferente según su tema activo, por ejemplo css/e4-dark.css.

— mapm

4

Descubrí las piezas faltantes de esto. La parte difícil es controlar el tamaño de fuente para las vistas que no son del editor, como el explorador de paquetes. Descubrí lo siguiente, que me funcionó:

Tamaños de fuente más pequeños para Eclipse en Linux

— David M. Karr
fuente

2

En la versión de Eclipse Oxygen (y posterior), los archivos CSS se han refactorizado y font-sizeahora se debe editar el estilo base e4_basestyle.css.

— javabrett
fuente

1

vaya al menú Window -> Preferences, aquí vaya a General -> Appearance -> Colors and Fonts, este muestra configuraciones para perspectivas, como java. En la opción de Java, seleccione The Java editor text font is used by Java editors.y después del Edit ...botón, aquí puede cambiar las propiedades de la fuente.

— richie-torres
fuente

55

Cuando dije "Obviamente, cambiarlo en las preferencias de Eclipse no lo hace", eso significa que ya lo intenté.

— David M. Karr

entonces que necesitas la respuesta cambia la fuente, lo pruebo.

— richie-torres

Ok, tienes razón, eso cambia la vista del editor. Sin embargo, parece que no puedo cambiar el tamaño de fuente para las otras vistas.

— David M. Karr

quieres cambiar la fuente de todo IDE (menú, panel, etc.)?

— richie-torres

Esa es la idea, sí.

— David M. Karr

1

Probé Myunity en ubuntu12.04 64bit y funcionó. Si cambia la fuente del sistema, afecta las fuentes de eclipse en los menús y pestañas. Para los contenidos de texto en los editores de texto de eclipse, debe cambiar la configuración de fuente desde la página de propiedades del eclipse.

— a.toraby
fuente

1

Sigue estos pasos: