]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a13fb42) | patch
Fix bug #12819.
authorRichard Kimberly Heck <rikiheck@lyx.org>
Thu, 27 Jul 2023 22:12:54 +0000 (18:12 -0400)
committerRichard Kimberly Heck <rikiheck@lyx.org>
Thu, 27 Jul 2023 22:13:42 +0000 (18:13 -0400)
commit5b2b0d5c76cf2dddeed963726234bcf06f91f449
tree4167c4540e465e685be4741fd21dff8c20c7227btree | snapshot
parenta13fb42a03616eca6f6b24ccb95042f8dc0f6c1ccommit | diff
Fix bug #12819.

Pop a warning and mark the buffer dirty if the file is deleted from disk.
src/Buffer.cpp diff | blob | history
Repository for new features