-
Committer:
Jaap Karssenberg
-
Date:
2017-06-12 11:41:05 UTC
-
Revision ID:
git-v1:e0432f9dd230929f8c107fef838c2f1c6978e3a7
Regression in close-page -- fixes #103
Found a condition where auto-save is already in progress
but the page is still modified. As a result close-page
reports the page as being modified and open_page() fails.
PageView doesn't do anything here because the buffer is
not modified anymore since the autosave.