Jan Wester 34f84126df Fixed race when closing an auto-saving project. ... Turning off the timer for saveTimerNoChanges just like the code already did in closeProject() for saveTimer fixes this bug. Easy. But how to prevent this kind of race condition in the future? Several related routines have been adjusted to fail gracefully or report a bug to the console when something goes wrong, depending on what is most suitable for that bit of logic.		2019-08-12 10:35:07 -06:00
..
__init__.py
version_0.py
version_1.py	Fixed race when closing an auto-saving project.	2019-08-12 10:35:07 -06:00