- //scr.drawFilledRectangle(int(x+1), baseline - Ascent(font)+1,
- // Width(font)-2,
- // Ascent(font)+Descent(font)-2,
- // FL_GRAY80);
- scr.fillRectangle(gc_lighted,
- int(x+1), baseline - Ascent(font)+1,
- Width(font)-2,
- Ascent(font)+Descent(font)-2);
-
- //scr.drawRectangle(int(x), baseline - Ascent(font),
- // Width(font)-1,
- // Ascent(font)+Descent(font)-1,
- // FL_GRAY80);
- 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(pain, font) + 1,
+ width(pain, font) - 2,
+ ascent(pain, font)
+ + descent(pain, font) - 2);
+ pain.rectangle(int(x + 1), baseline - ascent(pain, font) + 1,
+ width(pain, font) - 2,
+ ascent(pain, font) + descent(pain, font) - 2);
+ pain.text(int(x + 2), baseline, contents, font);