Configurar tipo de letra en el editor de Zend Studio

hace 3 años y 6 meses - 478 visitas

Yo trabajo desde hace años con Zend Studio, y no encuentro otro IDE que lo supere, de momento, aunque a Eclipse lo tengo siempre en mi punto de mira. Pero me molestaba mucho que a grandes resoluciones tuviera que pegarme a la pantalla para leer el código, y que Zend Studio no me diera la posibilidad de cambiar el tamaño de las fuentes en el editor.

Así que trasteando un poco he dado con este truco para configurar el tipo de letra que queremos usar en el editor:

  • Cerrar Zend Studio.
  • Abrir ~/ZDE/config_5.2/editor_options.xml (desconozco el directorio donde almacena ese fichero en Windows, y 5.2 es la versión del IDE que se esté usando).
  • Añadir la siguiente entrada justo debajo de <properties>:
    • editor_options.xml
      1. <customized_property ID="editing.font">
      2. <font name="Courier" style="0" size="18"/>
      3. </customized_property>
  • Es posible que para algunos, 18 sea demasiado grande, y quizás 16 quede mejor. En mi caso (1280x1024) queda algo grande pero lo prefiero así.
  • Guardar fichero.
  • Abrir Zend Studio.
  • Voila...
Esta entrada es para que no se me olvide nunca ;)

autor

Javier Pérez de la Axarquía

Padre, marido, amante, humanista, programador, escritor, emprendedor... y algunas cosas más que aún no sé que soy.

etiquetas
artículos relacionados
comentarios
avatar de js_
#1
js_ - hace 3 años y 6 meses ir arriba escribe un comentario
Te estás haciendo viejo! Yo hace tiempo que tengo muy en cuenta la unidad em de tanto darle al ctr + '+' o a ctrl + clítorix del ratón
avatar de javier.perez
#2
javier.perez - hace 3 años y 6 meses ir arriba escribe un comentario
Compañero, no me infravalores... :-P El problema es que uno se cansa de darle a ctrl + clitorix cada vez que habro un fichero, que si hay que darle al clítorix se le da, pero darle pa ná... ;)
avatar de daniel
#3
daniel - hace 2 años y 7 meses ir arriba escribe un comentario
Me descargue el zend studio trial y no tiene para idioma español. le debo agregar algun pluggin?

Si me puedes ayudar te lo agradezco.
avatar de javier.perez
#4
javier.perez - hace 2 años y 7 meses ir arriba escribe un comentario
Hola daniel. Ve a Preferences > Desktop > Language, y selecciona "Español".
escribe un comentario

Se permite código HTML: <a> <img> <b> <strong> <em> <i> <strike> <p>

#5
- hace 1 segundo
Normas de uso
El autor del comentario se hace responsable del contenido de éste. En caso de que el autor del comentario infringiera alguna ley, se ofrecerán todos los datos necesarios a las autoridades pertinentes para que tomen las medidas oportunas.
Se debe escribir correctamente en el mismo idioma del artículo que se comenta. En caso contrario podría ser eliminado.
El comentario debe ceñirse a la temática del artículo.

En la siguiente lista de palabras, haz clic en letra:
  1. configurar
  2. tipo
  3. de
  4. letra
  5. en
  6. el
  7. editor
  8. zend
  9. studio
Esta pregunta es para evitar comentarios spam. Perdón por las molestias.