(Problem p)
| 3084 | |
| 3085 | |
| 3086 | public void highlight(Problem p) { |
| 3087 | if (p != null) { |
| 3088 | highlight(p.getTabIndex(), p.getStartOffset(), p.getStopOffset()); |
| 3089 | } |
| 3090 | } |
| 3091 | |
| 3092 | |
| 3093 | public void highlight(int tabIndex, int startOffset, int stopOffset) { |
no test coverage detected