ViewManager/ViewManager.py

branch
6_1_x
changeset 5010
4990220334dc
parent 4898
87f323577ce1
equal deleted inserted replaced
5003:22c59d1ea818 5010:4990220334dc
4576 it. 4576 it.
4577 4577
4578 @param fn filename of editor to update (string) 4578 @param fn filename of editor to update (string)
4579 @param line line number to highlight (int) 4579 @param line line number to highlight (int)
4580 """ 4580 """
4581 self.openSourceFile(fn, line) 4581 if not fn.startswith('<'):
4582 self.setFileLine(fn, line) 4582 self.openSourceFile(fn, line)
4583 self.setFileLine(fn, line)
4583 4584
4584 def setFileLine(self, fn, line, error=False, syntaxError=False): 4585 def setFileLine(self, fn, line, error=False, syntaxError=False):
4585 """ 4586 """
4586 Public method to update the user interface when the current program 4587 Public method to update the user interface when the current program
4587 or line changes. 4588 or line changes.

eric ide

mercurial