protected void paintClientArea(Graphics graphics) {
Rectangle r = getClientArea();
// draw rectangle
graphics.setForegroundColor(IColorConstants.buttonDarker);
graphics.drawLine(r.x, r.y, r.right(), r.y);
graphics.drawLine(r.x, r.bottom() - 1, r.right(), r.bottom() - 1);
// draw row index
int titleTop;
{
String title = "" + (1 + m_dimension.getIndex());
Dimension textExtents = graphics.getTextExtent(title);