void
highlight_box_rep::post_display (renderer &ren) {
if (shape == "ring") display_ring (ren);
if (shape == "band") display_band (ren);
ren->set_background (old_bg);
ren->set_pencil (old_pen);
}
void
text_box_rep::display (renderer ren) {
ren->set_pencil (pen);
if (is_nil (xk)) fn->draw (ren, str, 0, 0);
else fn->draw (ren, str, xk->left, 0, xk->padding);
}