page              991 src/editor/editdraw.c edit_render (WEdit *edit, int page, int row_start, int col_start, int row_end, int col_end)
page              993 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              666 src/help.c         history[history_ptr].page = currentpoint;
page              692 src/help.c             history[history_ptr].page = currentpoint;
page              706 src/help.c         currentpoint = history[history_ptr].page;
page              818 src/help.c             currentpoint = history[history_ptr].page;
page              825 src/help.c             history[history_ptr].page = currentpoint;
page             1083 src/help.c             history[history_ptr].page = currentpoint;
page             1201 src/help.c             history[i].page = currentpoint;