Skip to main content

Browse the archive

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 
Fixing save load session file bug with code by pahihu.
1 parent ecd99ed
Raw File
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).
back to top