--- a/src/eric7/MicroPython/MicroPythonWidget.py Wed Apr 05 11:58:22 2023 +0200 +++ b/src/eric7/MicroPython/MicroPythonWidget.py Wed Apr 05 12:05:06 2023 +0200 @@ -531,9 +531,7 @@ 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.getWorkspace() if self.__device is not None else None ) self.__device = Devices.getDevice( deviceType, self, vid, pid, boardName=boardName, serialNumber=serNo