https://github.com/jrincayc/ucblogo-code
Revision 07fc868ecfd31fecc7c3f964730f946c31f5ab80 authored by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC, committed by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC
1 parent ecd99ed
Raw File
Tip revision: 07fc868ecfd31fecc7c3f964730f946c31f5ab80 authored by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC
Fixing save load session file bug with code by pahihu.
Tip revision: 07fc868
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