]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a925d25) | patch
Rename emergency file when it is kept.
authorRichard Kimberly Heck <rikiheck@lyx.org>
Wed, 16 Jan 2019 16:13:53 +0000 (11:13 -0500)
committerRichard Kimberly Heck <rikiheck@lyx.org>
Fri, 18 Jan 2019 04:00:23 +0000 (23:00 -0500)
commitb804e8851c33b68caa5057e809a12333741dfe2e
treec691b7ae4ec87b60c7f48be221a4898904da70a8tree | snapshot
parenta925d2508555ccfb67db1e2efde415aa0a34400ecommit | diff
Rename emergency file when it is kept.

Otherwise, we will ask about it again next time, when the file
may have changed. Also, if we crash again, we'll over-write that
file, which we may not want to do.

See bug #11464.
src/Buffer.cpp diff | blob | history
Repository for new features