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); }