Method highlight

app/src/processing/app/ui/Editor.java:2558–2569

(Problem p)

  public void highlight(Problem p) {
    if (p == null) {
      return;
    }

    int tabIndex = p.getTabIndex();
    int lineNumber = p.getLineNumber();
    int lineStart = textarea.getLineStartOffset(lineNumber);
    int tabToStartOffset = lineStart + p.getStartOffset();
    int tabToStopOffset = lineStart + p.getStopOffset();
    highlight(tabIndex, tabToStartOffset, tabToStopOffset);
  }


  public void highlight(int tabIndex, int startOffset, int stopOffset) {