Updates the error table in the Error Window.
(List<Problem> problems)
| 2541 | * Updates the error table in the Error Window. |
| 2542 | */ |
| 2543 | public void updateErrorTable(List<Problem> problems) { |
| 2544 | if (errorTable != null) { |
| 2545 | errorTable.clearRows(); |
| 2546 | |
| 2547 | for (Problem p : problems) { |
| 2548 | String message = p.getMessage(); |
| 2549 | errorTable.addRow(p, message, |
| 2550 | sketch.getCode(p.getTabIndex()).getPrettyName(), |
| 2551 | Integer.toString(p.getLineNumber() + 1)); |
| 2552 | // Added +1 because lineNumbers internally are 0-indexed |
| 2553 | } |
| 2554 | } |
| 2555 | } |
| 2556 | |
| 2557 | |
| 2558 | public void highlight(Problem p) { |
no test coverage detected