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             1034 src/help.c             history[history_ptr].page = currentpoint;
page             1152 src/help.c             history[history_ptr].page = currentpoint;