Can you change the font in the text editor?

Previous Event-driven Programming, Menus, and Throwing Errors Next

Q: Is it possible to use any other font except 6x8 font in the text editor?
A: Principally, you can change font using WinFont before calling TE_open. For example, you can do
WinFont (DeskTop, F_8x10);
However, the editor will work fine with both 6x8 and 8x10 fonts, but not with 4x6 font (try and see), because it is proportional, so the editor will be fooled (editors usually expects fixed-size fonts). This is a pity.