https://github.com/jrincayc/ucblogo-code
Revision 26ae6f01105832ced8fcdf05eaf43321765ff374 authored by Joshua Cogliati on 09 March 2021, 02:06:30 UTC, committed by GitHub on 09 March 2021, 02:06:30 UTC
ISSUE-97: Balance calls to setjmp/longjmp regardless of wxWidgets
Tip revision: 26ae6f01105832ced8fcdf05eaf43321765ff374 authored by Joshua Cogliati on 09 March 2021, 02:06:30 UTC
Merge pull request #99 from dmalec/ISSUE-97
Merge pull request #99 from dmalec/ISSUE-97
Tip revision: 26ae6f0
decreasefont
INCREASEFONT
DECREASEFONT
command (wxWidgets only). Increase or decrease the size of the font
used in the text and edit windows to the next larger or smaller
available size.
Computing file changes ...