--- a/eric7.epj Fri Apr 28 12:07:41 2023 +0200 +++ b/eric7.epj Tue May 02 12:01:40 2023 +0200 @@ -1349,6 +1349,8 @@ "src/eric7/MicroPython/MicroPythonProgressInfoDialog.py", "src/eric7/MicroPython/MicroPythonSerialDeviceInterface.py", "src/eric7/MicroPython/MicroPythonSerialPort.py", + "src/eric7/MicroPython/MicroPythonWebreplDeviceInterface.py", + "src/eric7/MicroPython/MicroPythonWebreplSocket.py", "src/eric7/MicroPython/MicroPythonWidget.py", "src/eric7/MicroPython/MipLocalInstaller.py", "src/eric7/MicroPython/MipPackageDialog.py",