Method draw

app/src/processing/app/contrib/ManagerTabs.java:270–289

(Graphics g)

    }

    void draw(Graphics g) {
      int state = isCurrent() ? SELECTED : UNSELECTED;
      g.setColor(tabColor[state]);

      Graphics2D g2 = (Graphics2D) g;
      g2.fill(Toolkit.createRoundRect(left, 0,
                                      right, HIGH,
                                      hasLeftNotch() ? CURVE_RADIUS : 0,
                                      hasRightNotch() ? CURVE_RADIUS : 0,
                                      0, 0));

      int textLeft = getTextLeft();
      if (notification && state == UNSELECTED) {
        g.setColor(textColor[SELECTED]);
      } else {
        g.setColor(textColor[state]);
      }
      int baseline = (HIGH + fontAscent) / 2;
      g.drawString(name, textLeft, baseline);
    }
  }
}