g2d.fillRect(0, 0, rectangle.x + rectangle.width, 3);
g2d.fillRect(2, maxLength, getSize().width, getSize().height);
g2d.drawLine(0, 0, 0, getSize().height);
}
protected void paintSelectionAndBorder(Graphics2D g2d) {
<BUG>if (getSelectedInfo() == null) return;
TabLabel label = getSelectedLabel();</BUG>
Rectangle r = label.getBounds();
r = new Rectangle(r.x, r.y + 3, r.width, r.height - 3);
ShapeInfo selectedShape = _computeSelectedLabelShape(r);

g2d.fillRect(0, 0, rectangle.x + rectangle.width, 3);
g2d.fillRect(2, maxLength, getSize().width, getSize().height);
g2d.drawLine(0, 0, 0, getSize().height);
}
protected void paintSelectionAndBorder(Graphics2D g2d) {
if (getSelectedInfo() == null) return;
final boolean dark = UIUtil.isUnderDarcula();
final Color col = dark ? ColorUtil.shift(UIUtil.getListBackground(), 1.6) : Gray._255;
final Color panelBg = dark ? ColorUtil.shift(UIUtil.getPanelBackground(), 1.3) : UIUtil.getPanelBackground();
TabLabel label = getSelectedLabel();
Rectangle r = label.getBounds();
r = new Rectangle(r.x, r.y + 3, r.width, r.height - 3);
ShapeInfo selectedShape = _computeSelectedLabelShape(r);
