src/eric7/MicroPython/MicroPythonFileManagerWidget.py

branch
eric7
changeset 10143
bf84513859ca
parent 9959
8ca27cc20953
child 10236
c270c9501f1c
equal deleted inserted replaced
10142:083fc88c9471 10143:bf84513859ca
378 if self.__repl.deviceSupportsLocalFileAccess(): 378 if self.__repl.deviceSupportsLocalFileAccess():
379 name = os.path.join(self.deviceCwd.text(), item.text(0)) 379 name = os.path.join(self.deviceCwd.text(), item.text(0))
380 if name.endswith("/"): 380 if name.endswith("/"):
381 # directory names end with a '/' 381 # directory names end with a '/'
382 self.__listLocalFiles(name[:-1], True) 382 self.__listLocalFiles(name[:-1], True)
383 elif Utilities.MimeTypes.isTextFile(name): 383 else:
384 ericApp().getObject("ViewManager").getEditor(name) 384 if not os.path.exists(name):
385 EricMessageBox.warning(
386 self,
387 self.tr("Open Device File"),
388 self.tr(
389 """<p>The file <b>{0}</b> does not exist.</p>"""
390 ).format(name),
391 )
392 return
393 if Utilities.MimeTypes.isTextFile(name):
394 ericApp().getObject("ViewManager").getEditor(name)
385 else: 395 else:
386 cwd = self.deviceCwd.text() 396 cwd = self.deviceCwd.text()
387 if cwd: 397 if cwd:
388 name = ( 398 name = (
389 cwd + item.text(0) 399 cwd + item.text(0)

eric ide

mercurial