page 995 src/editor/editdraw.c edit_render (WEdit *edit, int page, int row_start, int col_start, int row_end, int col_end) page 997 src/editor/editdraw.c if (page != 0) /* if it was an expose event, 'page' would be set */ page 111 src/help.c const char *page; /* Pointer to the selected page */ page 620 src/help.c history[history_ptr].page = currentpoint; page 646 src/help.c history[history_ptr].page = currentpoint; page 660 src/help.c currentpoint = history[history_ptr].page; page 772 src/help.c currentpoint = history[history_ptr].page; page 779 src/help.c history[history_ptr].page = currentpoint; page 1037 src/help.c history[history_ptr].page = currentpoint; page 1155 src/help.c history[history_ptr].page = currentpoint;