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. |