void page_box_rep::post_display (renderer& ren) { ren->set_page_nr (old_page); }
void page_box_rep::pre_display (renderer& ren) { old_page= ren->cur_page; ren->set_page_nr (page_nr); }