(int line)
| 3149 | |
| 3150 | |
| 3151 | public List<Problem> findProblems(int line) { |
| 3152 | int currentTab = getSketch().getCurrentCodeIndex(); |
| 3153 | return problems.stream() |
| 3154 | .filter(p -> p.getTabIndex() == currentTab) |
| 3155 | .filter(p -> { |
| 3156 | int pStartLine = p.getLineNumber(); |
| 3157 | int pEndOffset = p.getStopOffset(); |
| 3158 | int pEndLine = textarea.getLineOfOffset(pEndOffset); |
| 3159 | return line >= pStartLine && line <= pEndLine; |
| 3160 | }) |
| 3161 | .collect(Collectors.toList()); |
| 3162 | } |
| 3163 | |
| 3164 | |
| 3165 | public void repaintErrorBar() { |
no test coverage detected