--- a/src/eric7/MicroPython/MicroPythonReplWidget.py	Sun Oct 22 17:06:50 2023 +0200
+++ b/src/eric7/MicroPython/MicroPythonReplWidget.py	Tue Oct 24 11:45:39 2023 +0200
@@ -576,7 +576,7 @@
                     length = 2
                 else:
                     length = 1
-                txt = data[index:index + length].decode("utf8")
+                txt = data[index : index + length].decode("utf8")
                 index += length - 1  # one more is done at the end
                 self.insertPlainText(txt)