Mercurial Repositories > eric / file comparison
comparison: ViewManager/ViewManager.py
ViewManager/ViewManager.py
- changeset 2391
- f9a6a512bc1e
- parent 2362
- 68a92d01c1cc
- child 2400
- c1726b754f96
equal
deleted
inserted
replaced
| 2390:dc5f6e398af4 | 2391:f9a6a512bc1e |
|---|---|
| 3813 Public method to handle the debugged program terminating. | 3813 Public method to handle the debugged program terminating. |
| 3814 """ | 3814 """ |
| 3815 if self.currentEditor is not None: | 3815 if self.currentEditor is not None: |
| 3816 self.currentEditor.highlight() | 3816 self.currentEditor.highlight() |
| 3817 self.currentEditor = None | 3817 self.currentEditor = None |
| 3818 | 3818 |
| 3819 for editor in self.editors: | |
| 3820 editor.refreshCoverageAnnotations() | |
| 3821 | |
| 3819 self.__setSbFile() | 3822 self.__setSbFile() |
| 3820 | 3823 |
| 3821 def openSourceFile(self, fn, lineno=-1, filetype="", | 3824 def openSourceFile(self, fn, lineno=-1, filetype="", |
| 3822 selStart=0, selEnd=0, pos=0): | 3825 selStart=0, selEnd=0, pos=0): |
| 3823 """ | 3826 """ |
