commit 8e5d32c29338e8cc586443ba77404b54532e15c6
Author: Pavel Sanda <[email protected]>
Date: Sat Feb 8 13:02:53 2025 +0100
Increase delay. I was still capable to trigger the warning for heavier
loads.
---
src/Buffer.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 3d05442398..e2e13b38af 100644
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -5687,7 +5687,7 @@ void Buffer::Impl::fileExternallyModified(bool const
exists)
//Essentially the same problem as in FileMonitorGuard::refresh.
//'exists' is not reliable marker of file removal here, e.g.
//file overwrite often causes short-term removal, see #12819.
- std::this_thread::sleep_for(100ms);
+ std::this_thread::sleep_for(200ms);
FileName refreshf (filename.absFileName());
//Only double check with delay will trigger warning
if(refreshf.exists())
--
lyx-cvs mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-cvs
