Commit
d7823d236e3e680328fe842dacc9f709c76a9e62
by Alan GarnyPrevent OpenCOR from crashing when selecting Tools | Reset All.
It looks like this might (somehow?) be related to our use of the new
signal/slot mechanism? At least, that seems to be the only difference
between the 17 March and 23 April snapshots when it comes to
MainWindow::updateDockWidgetsVisibility().