page              986 src/editor/editdraw.c edit_render (WEdit *edit, int page, int row_start, int col_start, int row_end, int col_end)
page              988 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              618 src/help.c         history[history_ptr].page = currentpoint;
page              644 src/help.c             history[history_ptr].page = currentpoint;
page              658 src/help.c         currentpoint = history[history_ptr].page;
page              770 src/help.c             currentpoint = history[history_ptr].page;
page              777 src/help.c             history[history_ptr].page = currentpoint;
page             1035 src/help.c             history[history_ptr].page = currentpoint;
page             1153 src/help.c             history[i].page = currentpoint;