--- a/eric7.epj Tue May 02 18:01:34 2023 +0200 +++ b/eric7.epj Wed May 03 10:12:03 2023 +0200 @@ -352,6 +352,7 @@ "src/eric7/MicroPython/IgnoredDevicesDialog.ui", "src/eric7/MicroPython/MicroPythonFileManagerWidget.ui", "src/eric7/MicroPython/MicroPythonProgressInfoDialog.ui", + "src/eric7/MicroPython/MicroPythonWebreplConnectionDialog.ui", "src/eric7/MicroPython/MicroPythonWebreplUrlAddEditDialog.ui", "src/eric7/MicroPython/MicroPythonWebreplUrlsConfigDialog.ui", "src/eric7/MicroPython/MicroPythonWidget.ui", @@ -1351,6 +1352,7 @@ "src/eric7/MicroPython/MicroPythonProgressInfoDialog.py", "src/eric7/MicroPython/MicroPythonSerialDeviceInterface.py", "src/eric7/MicroPython/MicroPythonSerialPort.py", + "src/eric7/MicroPython/MicroPythonWebreplConnectionDialog.py", "src/eric7/MicroPython/MicroPythonWebreplDeviceInterface.py", "src/eric7/MicroPython/MicroPythonWebreplSocket.py", "src/eric7/MicroPython/MicroPythonWebreplUrlAddEditDialog.py",