Added code to the MicroPython file manager to reset the current editor change markers upon save. eric7

Thu, 23 Feb 2023 12:05:00 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Thu, 23 Feb 2023 12:05:00 +0100
branch
eric7
changeset 9791
fdaa2a9011b3
parent 9790
6b14962d9d31
child 9796
62156d26a5be

Added code to the MicroPython file manager to reset the current editor change markers upon save.

src/eric7/MicroPython/MicroPythonFileManagerWidget.py file | annotate | diff | comparison | revisions
--- a/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Thu Feb 23 12:04:28 2023 +0100
+++ b/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Thu Feb 23 12:05:00 2023 +0100
@@ -781,6 +781,7 @@
             self.__fileManager.putData(filename, text.encode("utf-8"))
 
         aw.setModified(False)
+        aw.resetOnlineChangeTraceInfo()
 
     @pyqtSlot()
     def on_saveAsButton_clicked(self):

eric ide

mercurial