--- a/eric7.epj Sat May 06 16:22:17 2023 +0200 +++ b/eric7.epj Sat May 06 19:21:40 2023 +0200 @@ -353,6 +353,7 @@ "src/eric7/MicroPython/MicroPythonFileManagerWidget.ui", "src/eric7/MicroPython/MicroPythonProgressInfoDialog.ui", "src/eric7/MicroPython/MicroPythonWebreplConnectionDialog.ui", + "src/eric7/MicroPython/MicroPythonWebreplParametersDialog.ui", "src/eric7/MicroPython/MicroPythonWebreplUrlAddEditDialog.ui", "src/eric7/MicroPython/MicroPythonWebreplUrlsConfigDialog.ui", "src/eric7/MicroPython/MicroPythonWidget.ui", @@ -1355,6 +1356,7 @@ "src/eric7/MicroPython/MicroPythonSerialPort.py", "src/eric7/MicroPython/MicroPythonWebreplConnectionDialog.py", "src/eric7/MicroPython/MicroPythonWebreplDeviceInterface.py", + "src/eric7/MicroPython/MicroPythonWebreplParametersDialog.py", "src/eric7/MicroPython/MicroPythonWebreplSocket.py", "src/eric7/MicroPython/MicroPythonWebreplUrlAddEditDialog.py", "src/eric7/MicroPython/MicroPythonWebreplUrlsConfigDialog.py",