--- a/src/eric7/APIs/Python3/eric7.bas Sat May 06 16:22:17 2023 +0200 +++ b/src/eric7/APIs/Python3/eric7.bas Sat May 06 19:21:40 2023 +0200 @@ -670,6 +670,7 @@ MicroPythonSerialPort QSerialPort MicroPythonWebreplConnectionDialog QDialog Ui_MicroPythonWebreplConnectionDialog MicroPythonWebreplDeviceInterface MicroPythonDeviceInterface +MicroPythonWebreplParametersDialog QDialog Ui_MicroPythonWebreplParametersDialog MicroPythonWebreplSocket QWebSocket MicroPythonWebreplUrlAddEditDialog QDialog Ui_MicroPythonWebreplUrlAddEditDialog MicroPythonWebreplUrlsConfigDialog QDialog Ui_MicroPythonWebreplUrlsConfigDialog