Revision c9391aaa376223018f7c8a4d2c92b9cffdb46cfb authored by chou86_e on 13 September 2008, 23:25:27 UTC, committed by chou86_e on 13 September 2008, 23:25:27 UTC
git-svn-id: https://svn.code.sf.net/p/ucblogo/code@199 fc4ef4ee-df3e-0410-84de-fb01f5d6c4f7
1 parent 063fd0f
setfont
SETFONT fontname
command (wxWidgets only). Set the font family used in all windows
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).
Computing file changes ...