Web-repl was not hidden enough
@@ -1586,6 +1586,7 @@ class MicroPythonConfigPage(BackendDetailsConfigPage):
port_desc = self._port_desc_variable.get()
port_name = self._ports_by_desc[port_desc]
get_workbench().set_option(self.backend_name + ".port", port_name)
+ if self.allow_webrepl:
get_workbench().set_option(
self.backend_name + ".webrepl_url", self._webrepl_url_var.get()
)
