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;