--- a/eric7.epj Wed May 03 10:12:03 2023 +0200 +++ b/eric7.epj Thu May 04 11:22:11 2023 +0200 @@ -1350,6 +1350,7 @@ "src/eric7/MicroPython/MicroPythonFileSystemUtilities.py", "src/eric7/MicroPython/MicroPythonGraphWidget.py", "src/eric7/MicroPython/MicroPythonProgressInfoDialog.py", + "src/eric7/MicroPython/MicroPythonReplWidget.py", "src/eric7/MicroPython/MicroPythonSerialDeviceInterface.py", "src/eric7/MicroPython/MicroPythonSerialPort.py", "src/eric7/MicroPython/MicroPythonWebreplConnectionDialog.py",