Updates the error table in the Error Window.
(List<Problem> problems)
| 3069 | * Updates the error table in the Error Window. |
| 3070 | */ |
| 3071 | public void updateErrorTable(List<Problem> problems) { |
| 3072 | if (errorTable != null) { |
| 3073 | errorTable.clearRows(); |
| 3074 | |
| 3075 | for (Problem p : problems) { |
| 3076 | String message = p.getMessage(); |
| 3077 | errorTable.addRow(p, message, |
| 3078 | sketch.getCode(p.getTabIndex()).getPrettyName(), |
| 3079 | Integer.toString(p.getLineNumber() + 1)); |
| 3080 | // Added +1 because lineNumbers internally are 0-indexed |
| 3081 | } |
| 3082 | } |
| 3083 | } |
| 3084 | |
| 3085 | |
| 3086 | public void highlight(Problem p) { |
no test coverage detected