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
2 parent s da0078f + 1003729
Raw File
Tip revision: 26ae6f01105832ced8fcdf05eaf43321765ff374 authored by Joshua Cogliati on 09 March 2021, 02:06:30 UTC
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.

back to top