Searched refs:gv_pending_page_request (Results 1 – 4 of 4) sorted by relevance
1052 if (gv_pending_page_request>NO_CURRENT_PAGE) cp=gv_pending_page_request; in cb_page()1359 if ((gv_pending_page_request!=NO_CURRENT_PAGE) && (toc_text) && ((Widget)client_data == page)) { in cb_message()1360 INFIMESSAGE(pending request for, gv_pending_page_request) in cb_message()1361 show_page(gv_pending_page_request,NULL); in cb_message()
168 EXTERN int gv_pending_page_request; variable
695 gv_pending_page_request=number;696 INFIMESSAGE(will remember,gv_pending_page_request)832 gv_pending_page_request=NO_CURRENT_PAGE; /* eliminate any pending requests now */
347 gv_pending_page_request=NO_CURRENT_PAGE; in main()