diff -r f369290e8b42 -r 234e640c2518 src/eric7/MicroPython/MicroPythonWidget.py --- a/src/eric7/MicroPython/MicroPythonWidget.py Sat Aug 31 17:23:12 2024 +0200 +++ b/src/eric7/MicroPython/MicroPythonWidget.py Sat Aug 31 18:17:34 2024 +0200 @@ -406,15 +406,10 @@ serNo = self.deviceTypeComboBox.itemData(index, self.DeviceSerNoRole) if deviceType or (vid is not None and pid is not None): - deviceWorkspace = ( - self.__device.getWorkspace() if self.__device is not None else None - ) self.__device = Devices.getDevice( deviceType, self, vid, pid, boardName=boardName, serialNumber=serNo ) self.__device.setButtons() - if deviceWorkspace: - self.__device.setWorkspace(deviceWorkspace) self.connectButton.setEnabled(bool(deviceType)) else: