Cambiar tamaño de fuente en el editor del Intérprete de Pilas

consulta
1

Hola amigos,

Estoy empezando con este lindo programa, quisiera me ayuden cómo reducir el tamaño de fuente en el editor del Intérprete de Pilas.

Gracias
Raúl

2

Creo que es texto.escala = Numero

3

Hola Raúl, ¿probaste pulsando ALT y - (tecla menos). En la versión 0.83 se tiene que poder cambiar el tamaño de la fuente usando ALT y las teclas + o -

Por cierto, tu sugerencia me hizo pensar que estaría bueno tener un selector de fuentes directamente en el intérprete. Te paso un screenshot de cómo está quedando:

y los links para descargar las versiones beta:

https://www.dropbox.com/sh/9cqrnhdu7vhpxlb/AACIhv07A3ui1ZF7MBUf_0_pa?dl=0