src/eric7/MicroPython/MicroPythonWidget.py

branch
eric7
changeset 9972
68ac01294544
parent 9944
011ae0edbcff
child 9979
dbafba79461d
--- 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

eric ide

mercurial