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