748 if clipboard: |
748 if clipboard: |
749 pasteText = clipboard.text(mode=mode) |
749 pasteText = clipboard.text(mode=mode) |
750 if pasteText: |
750 if pasteText: |
751 pasteText = pasteText.replace("\n\r", "\r") |
751 pasteText = pasteText.replace("\n\r", "\r") |
752 pasteText = pasteText.replace("\n", "\r") |
752 pasteText = pasteText.replace("\n", "\r") |
753 self.__interface.isConnected() and self.__interface.write( |
753 if self.__interface.isConnected(): |
754 pasteText.encode("utf-8") |
754 self.__interface.write(b"\x05") |
755 ) |
755 self.__interface.write(pasteText.encode("utf-8")) |
|
756 self.__interface.write(b"\x04") |
756 |
757 |
757 def eventFilter(self, obj, evt): |
758 def eventFilter(self, obj, evt): |
758 """ |
759 """ |
759 Public method to process events for the REPL pane. |
760 Public method to process events for the REPL pane. |
760 |
761 |