Feature request: make it easy to increase/decrease the GUI font size (without changing the font face from the default monospace font).
Preferably use shortcut keys "Control +" and "Control -" like Eclipse and Chrome do.
Why? While teaching, I often like to switch from my slides to quickly pop open Pep/9, and demo some code, etc.
Problem: the default font is too small for my students to see on the classroom projection screen, so I have to modify the font, which is currently a bit cumbersome (especially since the font dialog seems to default to Sans Serif, which is not a monospace font).
Hotkeys would speed this switching up considerably!
(It would be nice to have a more full-featured zoom feature that also increases/decreases the size of the CPU registers, but I'm guessing that would be a lot more work.)
Feature request: make it easy to increase/decrease the GUI font size (without changing the font face from the default monospace font). Preferably use shortcut keys "Control +" and "Control -" like Eclipse and Chrome do.
Why? While teaching, I often like to switch from my slides to quickly pop open Pep/9, and demo some code, etc.
Problem: the default font is too small for my students to see on the classroom projection screen, so I have to modify the font, which is currently a bit cumbersome (especially since the font dialog seems to default to Sans Serif, which is not a monospace font).
Hotkeys would speed this switching up considerably!
(It would be nice to have a more full-featured zoom feature that also increases/decreases the size of the CPU registers, but I'm guessing that would be a lot more work.)