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