New in version 2.4
- Global font and display scaling.
It is possible to enlarge all icons and fonts in the IDE by changing
the Icon set under the gui.editor tab in the Options.
This setting will take effect the next time you start the IDE.
- Zoom.
The size at which automata are displayed can be changed using the
Zoom box in the editor toolbar.