ViewManager/ViewManager.py

changeset 5008
31a1eb0f70e4
parent 4917
682750cc7bd5
child 5108
f5cb9cb98e6a
equal deleted inserted replaced
5004:556528860c7a 5008:31a1eb0f70e4
4575 it. 4575 it.
4576 4576
4577 @param fn filename of editor to update (string) 4577 @param fn filename of editor to update (string)
4578 @param line line number to highlight (int) 4578 @param line line number to highlight (int)
4579 """ 4579 """
4580 self.openSourceFile(fn, line) 4580 if not fn.startswith('<'):
4581 self.setFileLine(fn, line) 4581 self.openSourceFile(fn, line)
4582 self.setFileLine(fn, line)
4582 4583
4583 def setFileLine(self, fn, line, error=False, syntaxError=False): 4584 def setFileLine(self, fn, line, error=False, syntaxError=False):
4584 """ 4585 """
4585 Public method to update the user interface when the current program 4586 Public method to update the user interface when the current program
4586 or line changes. 4587 or line changes.

eric ide

mercurial