Mercurial Repositories > eric / file comparison
comparison: ViewManager/ViewManager.py
ViewManager/ViewManager.py
- changeset 1421
- 8fead6686d1c
- parent 1419
- e200f9084c5d
- child 1449
- 36138359d3a3
equal
deleted
inserted
replaced
| 1419:e200f9084c5d | 1421:8fead6686d1c |
|---|---|
| 3096 | 3096 |
| 3097 # get the filename of the editor for later use | 3097 # get the filename of the editor for later use |
| 3098 fn = editor.getFileName() | 3098 fn = editor.getFileName() |
| 3099 | 3099 |
| 3100 # remove the window | 3100 # remove the window |
| 3101 editor.parent().shutdownTimer() | |
| 3101 self._removeView(editor) | 3102 self._removeView(editor) |
| 3102 self.editors.remove(editor) | 3103 self.editors.remove(editor) |
| 3103 | 3104 |
| 3104 # send a signal, if it was the last editor for this filename | 3105 # send a signal, if it was the last editor for this filename |
| 3105 if fn and self.getOpenEditor(fn) is None: | 3106 if fn and self.getOpenEditor(fn) is None: |
