https://github.com/jrincayc/ucblogo-code
Tip revision: 21ce9707d32d35f71bcba10c45742e8214881ea8 authored by Barak A. Pearlmutter on 13 January 2022, 14:54:59 UTC
update-alternatives instead of mere links for /usr/bin/logo
update-alternatives instead of mere links for /usr/bin/logo
Tip revision: 21ce970
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.
