void (Graphics g) { /* int i1 = a - 1; int j1 = e - 2; int k1 = i1 + myMaxGutterIconWidth + 1; int l1 = j1 + myMaxGutterIconWidth + 4; g.setColor(BegResources.m); g.drawLine(i1, j1, i1, l1); g.drawLine(i1, j1, k1, j1); g.setColor(BegResources.j); g.drawLine(k1, j1, k1, l1); g.drawLine(i1, l1, k1, l1); */ }