Rectangle paintTextR = new Rectangle(insets.left + 3, insets.top,
size.width - (insets.left + insets.right + 6), size.height
- (insets.top + insets.bottom + 2));
View v = (View) c.getClientProperty(BasicHTML.propertyKey);
if (v != null) {
v.paint(g, paintTextR);
} else {
SubstanceTextUtilities.paintText(g, c, paintTextR, tipText, -1,
font, c.getForeground(), null);
}
}