Font size change can't take effected.

[oceanwind]

as the image below,the font size has been changed to 13,and restarted,but the script font maintain the same.
Isn version:V1.06, issued on 9.28,2017 ,portable version.
something wrong?

problem20171202133919.png (93.69 KiB) 15097 mal betrachtet

[oceanwind]

ok,got it ,option-->texteditor-->color-->font.

[toofewacres]

WHen I try to go into -->scripteditor-->color-->font to change the font in the main window, program crashes.
Can't change font size in editor window..

[toofewacres]

I did go into the Config.ini file and changed the font there. That works for now.

[ISI360]

Did you use the latest update? (Version 1.08 at the moment)