--- a/src/eric7/QScintilla/Editor.py Tue Apr 09 14:27:03 2024 +0200 +++ b/src/eric7/QScintilla/Editor.py Wed Apr 10 10:45:31 2024 +0200 @@ -8266,6 +8266,15 @@ # do not prompt for this change again... self.lastModified = pathlib.Path(self.fileName).stat().st_mtime + def getModificationTime(self): + """ + Public method to get the time of the latest (saved) modification. + + @return time of the latest modification + @rtype int + """ + return self.lastModified + @pyqtSlot() def recordModificationTime(self): """