* @param area The area whose metrics should be used for the computation.
* @return The Y position that should be used for the overline stroke.
*/
protected int getOverlineYPosition(final TextArea area) {
final Font font = area.getPrimaryFont().getFont();
final int overlinePosition = font.overlinePosition(
area.traitFontSize());
return area.baselineY() + overlinePosition;
}
/**