Mercurial Repositories > eric / file comparison
comparison: ViewManager/ViewManager.py
ViewManager/ViewManager.py
- changeset 3261
- b8fee972444b
- parent 3207
- 6cf664694e3c
- child 3321
- ad3a75d3d870
equal
deleted
inserted
replaced
| 3260:37bbdfba30bc | 3261:b8fee972444b |
|---|---|
| 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=""): |
