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	Working on a more flexible loading/saving system	2016-03-04 22:00:02 +01:00
version_0.py	Directory entries in ZIP break loading code	2019-03-12 14:44:51 -06:00
version_1.py	Fixed race when closing an auto-saving project.	2019-08-12 10:35:07 -06:00