diff -r 02a40e8bd135 -r 011ae0edbcff src/eric7/MicroPython/MicroPythonWidget.py
--- a/src/eric7/MicroPython/MicroPythonWidget.py Wed Mar 29 11:32:06 2023 +0200
+++ b/src/eric7/MicroPython/MicroPythonWidget.py Wed Mar 29 14:15:55 2023 +0200
@@ -411,7 +411,8 @@
self.on_connectButton_clicked()
self.__device = None
- self.on_deviceTypeComboBox_activated(index)
+ if self.__device is None:
+ self.on_deviceTypeComboBox_activated(index)
self.deviceTypeComboBox.setCurrentIndex(index)
if unknownDevices:
@@ -529,10 +530,17 @@
serNo = self.deviceTypeComboBox.itemData(index, self.DeviceSerNoRole)
if deviceType or (pid 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:
