- scr.fillRectangle(gc_lighted,
- int(x + 1), baseline - Ascent(font) + 1,
- Width(font) - 2,
- Ascent(font) + Descent(font) - 2);
-
- scr.drawRectangle(gc_lighted,
- int(x), baseline - Ascent(font),
- Width(font) - 1,
- Ascent(font) + Descent(font) - 1);
- scr.drawString(font, contents, baseline, int(x + 2));
+ pain.fillRectangle(int(x + 1),
+ baseline - ascent(bv, font) + 1,
+ width(bv, font) - 2,
+ ascent(bv, font)
+ + descent(bv, font) - 2,
+ backgroundColor());
+ pain.rectangle(int(x + 1), baseline - ascent(bv, font) + 1,
+ width(bv, font) - 2,
+ ascent(bv, font) + descent(bv, font) - 2);
+ pain.text(int(x + 2), baseline, contents, font);