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