src/eric7/MicroPython/MicroPythonFileManagerWidget.py

branch
eric7
changeset 9791
fdaa2a9011b3
parent 9786
f94b530722af
child 9802
22aeee2bf35f
--- 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