ViewManager/ViewManager.py

branch
debugger speed
changeset 5006
82e91d2f59a1
parent 4917
682750cc7bd5
child 5108
f5cb9cb98e6a
equal deleted inserted replaced
5005:684f5ba04f0b 5006:82e91d2f59a1
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