diff -r e9e7eca7efee -r bf71ee032bb4 src/eric7/WebBrowser/Tools/DelayedFileWatcher.py
--- a/src/eric7/WebBrowser/Tools/DelayedFileWatcher.py Wed Jul 13 11:16:20 2022 +0200
+++ b/src/eric7/WebBrowser/Tools/DelayedFileWatcher.py Wed Jul 13 14:55:47 2022 +0200
@@ -13,18 +13,19 @@
class DelayedFileWatcher(QFileSystemWatcher):
"""
Class implementing a file system watcher with a delay.
-
+
@signal delayedDirectoryChanged(path) emitted to indicate a changed
directory
@signal delayedFileChanged(path) emitted to indicate a changed file
"""
+
delayedDirectoryChanged = pyqtSignal(str)
delayedFileChanged = pyqtSignal(str)
-
+
def __init__(self, paths=None, parent=None):
"""
Constructor
-
+
@param paths list of paths to be watched
@type list of str
@param parent reference to the parent object
@@ -34,42 +35,42 @@
super().__init__(paths, parent)
else:
super().__init__(parent)
-
+
self.__dirQueue = []
self.__fileQueue = []
-
+
self.directoryChanged.connect(self.__directoryChanged)
self.fileChanged.connect(self.__fileChanged)
-
+
@pyqtSlot(str)
def __directoryChanged(self, path):
"""
Private slot handling a changed directory.
-
+
@param path name of the changed directory
@type str
"""
self.__dirQueue.append(path)
QTimer.singleShot(500, self.__dequeueDirectory)
-
+
@pyqtSlot(str)
def __fileChanged(self, path):
"""
Private slot handling a changed file.
-
+
@param path name of the changed file
@type str
"""
self.__fileQueue.append(path)
QTimer.singleShot(500, self.__dequeueFile)
-
+
@pyqtSlot()
def __dequeueDirectory(self):
"""
Private slot to signal a directory change.
"""
self.delayedDirectoryChanged.emit(self.__dirQueue.pop(0))
-
+
@pyqtSlot()
def __dequeueFile(self):
"""
