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):