Thu, 23 Feb 2023 12:05:00 +0100
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):