https://github.com/jrincayc/ucblogo-code
Tip revision: 1eaef7d69d4c5c8c577d7de451cb96ef03fa9756 authored by Joshua Cogliati on 28 March 2023, 01:05:59 UTC
Merge pull request #165 from jrincayc/release_624_changes
Merge pull request #165 from jrincayc/release_624_changes
Tip revision: 1eaef7d
increasefont
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.
