(List<Problem> problems)
| 3055 | |
| 3056 | |
| 3057 | public void setProblemList(List<Problem> problems) { |
| 3058 | this.problems = problems; |
| 3059 | boolean hasErrors = problems.stream().anyMatch(Problem::isError); |
| 3060 | updateErrorTable(problems); |
| 3061 | errorColumn.updateErrorPoints(problems); |
| 3062 | textarea.repaint(); |
| 3063 | updateErrorToggle(hasErrors); |
| 3064 | updateEditorStatus(); |
| 3065 | } |
| 3066 | |
| 3067 | |
| 3068 | /** |
no test coverage detected