]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34162d0) | 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)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 12:39:56 +0000 (14:39 +0200)
commit6add72429124dcf8d5d1b1ba09d305f89f2e3edf
treec691b7ae4ec87b60c7f48be221a4898904da70a8tree | snapshot
parent34162d0a9752f4fc9daaeeea84dd13d5e93b3490commit | 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