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. |