page             1028 src/editor/editdraw.c edit_render (WEdit * edit, int page, int row_start, int col_start, int row_end, int col_end)
page             1030 src/editor/editdraw.c     if (page)                   /* if it was an expose event, 'page' would be set */
page              109 src/help.c         const char *page;           /* Pointer to the selected page */
page              613 src/help.c         history[history_ptr].page = currentpoint;
page              639 src/help.c             history[history_ptr].page = currentpoint;
page              653 src/help.c         currentpoint = history[history_ptr].page;
page              765 src/help.c             currentpoint = history[history_ptr].page;
page              772 src/help.c             history[history_ptr].page = currentpoint;
page             1004 src/help.c             history[history_ptr].page = currentpoint;
page             1115 src/help.c             history[history_ptr].page = currentpoint;