]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa2f5eb) | 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:01:54 +0000 (23:01 -0500)
commit8cbf1c7cecf2c7790f560c3d2b6c80b26c1c0f4f
treec6661330b6c05d68023850881e96e394c8a27f7btree | snapshot
parentaa2f5eb426db6d3ea307c726fe7d649d9634f92dcommit | 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.

(cherry picked from commit b804e8851c33b68caa5057e809a12333741dfe2e)
src/Buffer.cpp diff | blob | history
status.23x diff | blob | history
Repository for new features