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.

David M. Karr
fuente
Esta solución funcionó para mí: stackoverflow.com/questions/11805784/…
Gabriel Mendez

Respuestas:

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
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:

  • Abrir Preferencesen el windowmenú:

ingrese la descripción de la imagen aquí

  • Ir a GeneralEditorsText Editors

ingrese la descripción de la imagen aquí

  • Seleccione Colors and Fontsel enlace azul en Editores de texto

ingrese la descripción de la imagen aquí

  • Ahora verás esta ventana.

ingrese la descripción de la imagen aquí

  • Simplemente pess Edity cambie el tamaño de su fuente de texto

ingrese la descripción de la imagen aquí


También puede encontrarlo en GeneralAppearanceColors and Fontsluego seleccione Text Fonten la Basicopción.

ingrese la descripción de la imagen aquí

αғsнιη
fuente