swh:1:snp:3af89e0c6f482ba7e9545bf8e295ed747de3e1ee
Tip revision: 7ebe1472ba7b94541951716f93212bbdae21320f authored by Joshua J. Cogliati on 08 January 2023, 17:45:51 UTC
Merge remote-tracking branch 'origin/master' into debug_stop
Merge remote-tracking branch 'origin/master' into debug_stop
Tip revision: 7ebe147
settextfont
SETTEXTFONT fontname
command (wxWidgets only). Set the font family used in the text window
to the one named by the input. Try 'Courier' or 'Monospace' as likely
possibilities. Not all computers have the same fonts installed. It's
a good idea to stick with monospace fonts (ones in which all
characters have the same width).