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              677 src/help.c         history[history_ptr].page = currentpoint;
page              703 src/help.c             history[history_ptr].page = currentpoint;
page              717 src/help.c         currentpoint = history[history_ptr].page;
page              829 src/help.c             currentpoint = history[history_ptr].page;
page              836 src/help.c             history[history_ptr].page = currentpoint;
page             1094 src/help.c             history[history_ptr].page = currentpoint;
page             1204 src/help.c             history[i].page = currentpoint;