void
edit_interface_rep::draw_text (renderer ren, rectangles& l) {
nr_painted=0;
bool tp_found= false;
tree bg= get_init_value (BG_COLOR);
ren->set_background_pattern (bg);
refresh_needed= do_animate;
refresh_next = next_animate;
eb->redraw (ren, eb->find_box_path (tp, tp_found), l);
do_animate = refresh_needed;
next_animate= refresh_next;
}
void
edit_interface_rep::draw_pre (renderer ren, rectangle r) {
// draw surroundings
tree bg= get_init_value (BG_COLOR);
ren->set_background_pattern (bg);
clear_pattern_rectangles (ren, rectangles (translate (r, ren->ox, ren->oy)));
draw_surround (ren, r);
// predraw cursor
renderer win= get_renderer (this);
draw_cursor (ren);
rectangles l= copy_always;
while (!is_nil (l)) {
rectangle lr (l->item);
win->put_shadow (ren, lr->x1, lr->y1, lr->x2, lr->y2);
l= l->next;
}
}