(Graphics g)
| 92 | |
| 93 | |
| 94 | @Override |
| 95 | public void paintComponent(Graphics g) { |
| 96 | PdeTextArea pta = editor.getPdeTextArea(); |
| 97 | if (pta != null) { |
| 98 | g.drawImage(pta.getGutterGradient(), |
| 99 | 0, 0, getWidth(), getHeight(), this); |
| 100 | } |
| 101 | |
| 102 | int currentTabIndex = editor.getSketch().getCurrentCodeIndex(); |
| 103 | |
| 104 | for (LineMarker m : errorPoints) { |
| 105 | Problem problem = m.problem; |
| 106 | if (problem.getTabIndex() != currentTabIndex) continue; |
| 107 | if (problem.isError()) { |
| 108 | g.setColor(errorColor); |
| 109 | } else { |
| 110 | g.setColor(warningColor); |
| 111 | } |
| 112 | g.drawLine(2, m.y, getWidth() - 2, m.y); |
| 113 | } |
| 114 | } |
| 115 | |
| 116 | |
| 117 | public void updateErrorPoints(final List<Problem> problems) { |
nothing calls this directly
no test coverage detected