| Tue, 29 Mar 2022 08:30:03 +0200 | Edouard Tisserant | IDE: Postpone execution of keyboard shortcut commands when given while previous command is still being executed, to prevent CTR/builder jamming. | changeset | files |
| Tue, 29 Mar 2022 08:19:46 +0200 | Edouard Tisserant | IDE: in case of unhandled exception, write bug report to given log file, so that test report can have it. | changeset | files |