src/eric7/MicroPython/MicroPythonFileManagerWidget.py

branch
eric7
changeset 9791
fdaa2a9011b3
parent 9786
f94b530722af
child 9802
22aeee2bf35f
equal deleted inserted replaced
9790:6b14962d9d31 9791:fdaa2a9011b3
779 deviceCwd + "/" + filename if deviceCwd != "/" else "/" + filename 779 deviceCwd + "/" + filename if deviceCwd != "/" else "/" + filename
780 ) 780 )
781 self.__fileManager.putData(filename, text.encode("utf-8")) 781 self.__fileManager.putData(filename, text.encode("utf-8"))
782 782
783 aw.setModified(False) 783 aw.setModified(False)
784 aw.resetOnlineChangeTraceInfo()
784 785
785 @pyqtSlot() 786 @pyqtSlot()
786 def on_saveAsButton_clicked(self): 787 def on_saveAsButton_clicked(self):
787 """ 788 """
788 Private slot to save the current editor in a new file on the connected device. 789 Private slot to save the current editor in a new file on the connected device.

eric ide

mercurial