Hi Daniel,
Sorry I didn’t manage to address this before the 10.1 release. Would you mind opening a bug for this in https://inform7.atlassian.net ? I’d like to keep the known bugs in a format that’s easier for me to handle than forum threads 
Can do! Is that bug tracker also for the IDEs, though? I thought it was just for Inform 7 itself (as in, the compiler and toolchain).
It is. You can specify that the “component” is “IDEs” although I’m pretty sure the maintainers of the bug tracker will eventually route it to the right place even if you don’t…
1 Like