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) |