Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 29 Mar 2022 08:30:03 +0200] rev 3445
IDE: Postpone execution of keyboard shortcut commands when given while previous command is still being executed, to prevent CTR/builder jamming.
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 29 Mar 2022 08:19:46 +0200] rev 3444
IDE: in case of unhandled exception, write bug report to given log file, so that test report can have it.