Re: Editor

new topic     » goto parent     » topic index » view thread      » older message » newer message
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

new topic     » goto parent     » topic index » view thread      » older message » newer message

Search



Quick Links

User menu

Not signed in.

Misc Menu