Re: Editor
- Posted by SunPsych08 Jan 13, 2015
- 2948 views
PeteE said...
Alex, I wasn't able to figure out what the problem with the font size was. I did made it update the editor windows after a change, so hopefully that was the issue. If not, look at the contents of \Users\yourname\AppData\Local\wee_conf.txt after changing the font and closing the editor.
Evan, this version fixes the crash with Ctrl-Space on whitespace, among other things.
Download version 0.10 here
Thanks Pete
All good - no problem with font size now.
Regards,
Alex