Mercurial Repositories > eric / file diff

--- a/src/eric7/MicroPython/MicroPythonReplWidget.py	Mon May 15 14:56:34 2023 +0200
+++ b/src/eric7/MicroPython/MicroPythonReplWidget.py	Tue May 16 11:20:09 2023 +0200
@@ -478,9 +478,7 @@
             pass
 
         # reset the font
-        charFormat = tc.charFormat()
         self.__setCharFormat(None, tc)
-        tc.setCharFormat(charFormat)
 
         # add received data to the buffered one
         data = self.__replBuffer + data
@@ -642,6 +640,9 @@
             formatCodes = ["0"]
 
         charFormat = textCursor.charFormat()
+        charFormat.setFontFamilies([self.__font.family()])
+        charFormat.setFontPointSize(self.__font.pointSize())
+
         for formatCode in formatCodes:
             try:
                 formatCode = int(formatCode)