]> git.lyx.org Git - features.git/commit
If the external modification is a deletion, do not ask for reloading.
authorGuillaume MM <gm@lyx.org>
Mon, 5 Jun 2017 20:04:07 +0000 (22:04 +0200)
committerGuillaume MM <gm@lyx.org>
Sun, 11 Jun 2017 17:51:17 +0000 (19:51 +0200)
commitb30161b591264f06579dd30805573e456bb870d3
treef5b83745caa62a1903cb8dbed6df824346c990e5
parent2058faaa3bd7604e1b8c25b50efd23893ec845d4
If the external modification is a deletion, do not ask for reloading.

The behavour when hitting "reload" on a deleted file was also confusing.
src/Buffer.cpp
src/graphics/GraphicsCacheItem.cpp
src/insets/RenderPreview.cpp
src/support/FileMonitor.cpp
src/support/FileMonitor.h