src/eric7/MicroPython/MicroPythonFileManagerWidget.py

branch
mpy_network
changeset 9802
22aeee2bf35f
parent 9788
12294115900a
parent 9791
fdaa2a9011b3
child 9853
080e060a0383
diff -r 25f388536caf -r 22aeee2bf35f src/eric7/MicroPython/MicroPythonFileManagerWidget.py
--- a/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Sat Feb 25 19:18:43 2023 +0100
+++ b/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Sat Feb 25 19:47:23 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