Mercurial Repositories > eric / file comparison
comparison: ViewManager/ViewManager.py
ViewManager/ViewManager.py
- branch
- 5_4_x
- changeset 3262
- fffe2df45766
- parent 3160
- 209a07d7e401
- child 3323
- b55fcd897118
equal
deleted
inserted
replaced
| 3258:a2bec950a859 | 3262:fffe2df45766 |
|---|---|
| 4541 @return list of all opened filenames (list of strings) | 4541 @return list of all opened filenames (list of strings) |
| 4542 """ | 4542 """ |
| 4543 filenames = [] | 4543 filenames = [] |
| 4544 for editor in self.editors: | 4544 for editor in self.editors: |
| 4545 fn = editor.getFileName() | 4545 fn = editor.getFileName() |
| 4546 if fn is not None and fn not in filenames: | 4546 if fn is not None and fn not in filenames and os.path.exists(fn): |
| 4547 # only return names of existing files | |
| 4547 filenames.append(fn) | 4548 filenames.append(fn) |
| 4548 | 4549 |
| 4549 return filenames | 4550 return filenames |
| 4550 | 4551 |
| 4551 def getEditor(self, fn, filetype=""): | 4552 def getEditor(self, fn, filetype=""): |
