diff -r 4402d76c5fa9 -r a79430a8811d src/eric7/MicroPython/MicroPythonWidget.py
--- a/src/eric7/MicroPython/MicroPythonWidget.py Fri Feb 24 18:36:43 2023 +0100
+++ b/src/eric7/MicroPython/MicroPythonWidget.py Sat Feb 25 19:18:07 2023 +0100
@@ -750,9 +750,10 @@
if pasteText:
pasteText = pasteText.replace("\n\r", "\r")
pasteText = pasteText.replace("\n", "\r")
- self.__interface.isConnected() and self.__interface.write(
- pasteText.encode("utf-8")
- )
+ if self.__interface.isConnected():
+ self.__interface.write(b"\x05")
+ self.__interface.write(pasteText.encode("utf-8"))
+ self.__interface.write(b"\x04")
def eventFilter(self, obj, evt):
"""
