page 1006 src/editor/editdraw.c edit_render (WEdit * edit, int page, int row_start, int col_start, int row_end, int col_end) page 1008 src/editor/editdraw.c if (page != 0) /* if it was an expose event, 'page' would be set */ page 109 src/help.c const char *page; /* Pointer to the selected page */ page 612 src/help.c history[history_ptr].page = currentpoint; page 638 src/help.c history[history_ptr].page = currentpoint; page 652 src/help.c currentpoint = history[history_ptr].page; page 764 src/help.c currentpoint = history[history_ptr].page; page 771 src/help.c history[history_ptr].page = currentpoint; page 1029 src/help.c history[history_ptr].page = currentpoint; page 1148 src/help.c history[history_ptr].page = currentpoint;