letra - ¿Cómo puedo cambiar el tamaño de fuente en Eclipse para TODOS los editores de texto?
fuente para editor de codigo (8)
Tuve que hacer una presentación ayer, y como parte de la presentación, usé Eclipse para mostrar algo de código. Muchos de mis compañeros de trabajo en la sala no pudieron leer el texto y me pidieron que aumentara el tamaño del texto para TODOS los archivos, no solo los archivos Java o XML.
Pero no fue inmediatamente obvio a partir de las opciones disponibles cómo hacer esto. Fui al menú Ventana → Preferencias y escribí la fuente en la entrada de búsqueda. Esto filtró las opciones a General → Apariencia → Colores y fuentes . Desde aquí, podría ver una opción para cambiar la fuente en los archivos Java, pero no sabía cómo cambiar la fuente globalmente.
Estoy usando Eclipse v4.3 Service Release 1 (Kepler) en Windows.
Esto es similar a la pregunta de desbordamiento de pila ¿ Cómo puedo cambiar el tamaño de fuente en los editores de texto de Eclipse para Java? .
- Abrir las preferencias de Eclipse
- En el menú de la izquierda, seleccione " General> Apariencia> Colores y fuentes "
- En la ventana resultante debajo del nodo de Java, seleccione " Fuente de texto del editor de Java "
- Aviso botón " Editar Defalt ... " ahora está habilitado, haga clic en él
- Elija su configuración de fuente preferida y haga clic en Aceptar
Ahora notará que todas las fuentes del editor han cambiado a su valor predeterminado seleccionado (si se establecieron en el valor predeterminado para comenzar). Además, ahora puede cambiar cualquier editor a esta configuración seleccionando la configuración de fuente del editor y haciendo clic en " Ir a Predeterminado "
Eclipse proporciona un atajo práctico a atajo para lo que está bien explicado en la respuesta de Jake Toronto (aunque solo con incrementos / decrementos de 2 puntos).
En MacOS:
- Incremento en 2 puntos: comando + "+"
- Disminución en 2 puntos: comando + "-"
En Windows / Fedora:
- Incremento en 2 puntos: CTRL + "+"
- Disminución en 2 puntos: CTRL + "-"
Esto es lo que descubrimos, y esto también se encuentra en esta respuesta y también en esta respuesta (citaré):
Vaya a Preferencias → General → Apariencia → Colores y fuentes , expanda la carpeta "Básico" y seleccione "Fuente de texto" y cámbielo al tamaño que desee.
¡Bastante simple!
La respuesta de @George funcionó bien, pero si no funciona en el archivo al que hizo referencia, entonces puede intentar aplicar la misma modificación en otro archivo de la misma carpeta: e4_basestyle.css.
Para mí, funcionó de esta manera (mi versión del SDK de Eclipse es 4.2.2).
La respuesta de @Jake funciona bien en el editor. Para cambiar también el tamaño de fuente de la GUI global de Eclipse, he agregado lo siguiente:
*{font-size:8;}
en el archivo:
ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.css
trabajó para mi. Esto se explica aquí: Cómo cambiar el tamaño de las fuentes del eclipse
Para archivos XML o HTML, puede seleccionar la opción "Editores de texto estructurado" en lugar de "Básico" en la ruta dada por la respuesta de Jake Toronto.
Solo como referencia, si alguien cambia la configuración de fuente de Preferencias → General → Apariencia → * Colores y fuentes **, pero no funcionaría ...
En mi caso, es causada por el tema del color Eclipse. Sólo desinstálalo.
Vaya a Preferencias → General → Apariencia → Colores y fuentes, expanda la carpeta "Básico" y seleccione "Fuente de texto" y cámbielo al tamaño que desee.