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