diff -r e9e7eca7efee -r bf71ee032bb4 src/eric7/Utilities/AutoSaver.py
--- a/src/eric7/Utilities/AutoSaver.py Wed Jul 13 11:16:20 2022 +0200
+++ b/src/eric7/Utilities/AutoSaver.py Wed Jul 13 14:55:47 2022 +0200
@@ -14,57 +14,58 @@
"""
Class implementing the auto saver.
"""
+
AUTOSAVE_IN = 1000 * 3
MAXWAIT = 1000 * 15
-
+
def __init__(self, parent, save):
"""
Constructor
-
+
@param parent reference to the parent object (QObject)
@param save slot to be called to perform the save operation
@exception RuntimeError raised, if no parent is given
"""
super().__init__(parent)
-
+
if parent is None:
raise RuntimeError("AutoSaver: parent must not be None.")
-
+
self.__save = save
-
+
self.__timer = QBasicTimer()
self.__firstChange = None
-
+
def changeOccurred(self):
"""
Public slot handling a change.
"""
if self.__firstChange is None:
self.__firstChange = QTime.currentTime()
-
+
if self.__firstChange.msecsTo(QTime.currentTime()) > self.MAXWAIT:
self.saveIfNeccessary()
else:
self.__timer.start(self.AUTOSAVE_IN, self)
-
+
def timerEvent(self, evt):
"""
Protected method handling timer events.
-
+
@param evt reference to the timer event (QTimerEvent)
"""
if evt.timerId() == self.__timer.timerId():
self.saveIfNeccessary()
else:
super().timerEvent(evt)
-
+
def saveIfNeccessary(self):
"""
Public method to activate the save operation.
"""
if not self.__timer.isActive():
return
-
+
self.__timer.stop()
self.__firstChange = None
self.__save()
