setting global mainfile for IDE
setting global mainfile for IDE
how about an option to have an additional mainfile-setting for the ide, being easy to dis/enable and to change (like as an editable combo in the toolbar), and overwriting the per-source setting if activated.