Mercurial Repositories > eric / file comparison
comparison: ViewManager/ViewManager.py
ViewManager/ViewManager.py
- branch
- 5_3_x
- changeset 2393
- 0944855208d9
- parent 2330
- a288469b3c81
- child 2475
- c74e1cff7f3f
equal
deleted
inserted
replaced
| 2388:b0373f732704 | 2393:0944855208d9 |
|---|---|
| 3794 Public method to handle the debugged program terminating. | 3794 Public method to handle the debugged program terminating. |
| 3795 """ | 3795 """ |
| 3796 if self.currentEditor is not None: | 3796 if self.currentEditor is not None: |
| 3797 self.currentEditor.highlight() | 3797 self.currentEditor.highlight() |
| 3798 self.currentEditor = None | 3798 self.currentEditor = None |
| 3799 | 3799 |
| 3800 for editor in self.editors: | |
| 3801 editor.refreshCoverageAnnotations() | |
| 3802 | |
| 3800 self.__setSbFile() | 3803 self.__setSbFile() |
| 3801 | 3804 |
| 3802 def openSourceFile(self, fn, lineno=-1, filetype="", | 3805 def openSourceFile(self, fn, lineno=-1, filetype="", |
| 3803 selStart=0, selEnd=0, pos=0): | 3806 selStart=0, selEnd=0, pos=0): |
| 3804 """ | 3807 """ |
