Sun, 26 Jun 2016 21:29:18 +0200
Suppress opening "files" in angle brackets.
ViewManager/ViewManager.py | file | annotate | diff | comparison | revisions |
diff -r 684f5ba04f0b -r 82e91d2f59a1 ViewManager/ViewManager.py --- a/ViewManager/ViewManager.py Sun Jun 26 16:32:01 2016 +0200 +++ b/ViewManager/ViewManager.py Sun Jun 26 21:29:18 2016 +0200 @@ -4577,8 +4577,9 @@ @param fn filename of editor to update (string) @param line line number to highlight (int) """ - self.openSourceFile(fn, line) - self.setFileLine(fn, line) + if not fn.startswith('<'): + self.openSourceFile(fn, line) + self.setFileLine(fn, line) def setFileLine(self, fn, line, error=False, syntaxError=False): """