diff -r 083fc88c9471 -r bf84513859ca src/eric7/MicroPython/MicroPythonFileManagerWidget.py
--- a/src/eric7/MicroPython/MicroPythonFileManagerWidget.py Sun Jul 30 17:31:07 2023 +0200
+++ b/src/eric7/MicroPython/MicroPythonFileManagerWidget.py Sun Jul 30 17:33:54 2023 +0200
@@ -380,8 +380,18 @@
if name.endswith("/"):
# directory names end with a '/'
self.__listLocalFiles(name[:-1], True)
- elif Utilities.MimeTypes.isTextFile(name):
- ericApp().getObject("ViewManager").getEditor(name)
+ else:
+ if not os.path.exists(name):
+ EricMessageBox.warning(
+ self,
+ self.tr("Open Device File"),
+ self.tr(
+ """<p>The file <b>{0}</b> does not exist.</p>"""
+ ).format(name),
+ )
+ return
+ if Utilities.MimeTypes.isTextFile(name):
+ ericApp().getObject("ViewManager").getEditor(name)
else:
cwd = self.deviceCwd.text()
if cwd:
