--- a/src/eric7/MicroPython/MicroPythonWidget.py Sat Jul 29 16:45:57 2023 +0200 +++ b/src/eric7/MicroPython/MicroPythonWidget.py Sat Jul 29 19:27:18 2023 +0200 @@ -970,9 +970,15 @@ self.__superMenu.clear() if self.__device: - hasMip = self.__device.getDeviceData("mip") - hasUPip = self.__device.getDeviceData("upip") - useLocalMip = self.__device.getDeviceData("local_mip") + networkConnected = self.__device.isNetworkConnected() + useLocalMip = ( + ( + self.__device.getDeviceData("mip") + or self.__device.getDeviceData("upip") + ) and not networkConnected + ) or self.__device.getDeviceData("local_mip") + hasMip = self.__device.getDeviceData("mip") and networkConnected + hasUPip = self.__device.getDeviceData("upip") and networkConnected else: hasMip = False hasUPip = False