src/eric7/QScintilla/Editor.py

branch
eric7
changeset 10678
665f1084ebf9
parent 10676
d1479a4f1426
child 10679
4d3e0ce54322
--- 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):
         """

eric ide

mercurial