Suppress opening "files" in angle brackets.

Sun, 26 Jun 2016 21:29:18 +0200

author
T.Rzepka <Tobias.Rzepka@gmail.com>
date
Sun, 26 Jun 2016 21:29:18 +0200
changeset 5008
31a1eb0f70e4
parent 5004
556528860c7a
child 5009
8b1ca3c1da22

Suppress opening "files" in angle brackets.
(grafted from 82e91d2f59a10969f4c4a68a0761965df2f2ae27)

ViewManager/ViewManager.py file | annotate | diff | comparison | revisions
diff -r 556528860c7a -r 31a1eb0f70e4 ViewManager/ViewManager.py
--- a/ViewManager/ViewManager.py	Thu Jun 23 19:24:09 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):
         """

eric ide

mercurial