Regularly check if preview is modified when visible on screen

In case one cannot rely on QFileSystemWatcher.

diff --git a/src/insets/RenderPreview.cpp b/src/insets/RenderPreview.cpp
index 99abca9f3c5800d0e18591155043ccd8bc4c8ae2..e29ccc4271fde6c7e44e14ae33291fad769372a3 100644 (file)
--- a/src/insets/RenderPreview.cpp
+++ b/src/insets/RenderPreview.cpp
@@ -292,6 +292,7 @@ void RenderMonitoredPreview::draw(PainterInfo & pi, int x, int y) const
 {
        RenderPreview::draw(pi, x, y);
        startMonitoring();
+       monitor_->checkModifiedAsync();
 }
 
 
@@ -311,7 +312,7 @@ bool RenderMonitoredPreview::monitoring() const
 void RenderMonitoredPreview::startMonitoring() const
 {
        if (!monitoring()) {
-               monitor_ = FileSystemWatcher::monitor(filename_);
+               monitor_ = FileSystemWatcher::activeMonitor(filename_);
                monitor_->connect(changed_);
        }
 }

diff --git a/src/insets/RenderPreview.h b/src/insets/RenderPreview.h
index c6dd74d28e6ffdd65e31e3bb76ab84aa82284286..42d944d0352242ef8fa2f16c16f4e37eac09b0dc 100644 (file)
--- a/src/insets/RenderPreview.h
+++ b/src/insets/RenderPreview.h
@@ -134,7 +134,7 @@ private:
        /// This signal is emitted if the file is modified
        ChangedSig changed_;
        ///
-       mutable support::FileMonitorPtr monitor_;
+       mutable support::ActiveFileMonitorPtr monitor_;
        ///
        support::FileName filename_;
 };