entire_file_displayed
entire_file_displayed() && !(ch_getflags() & CH_HELPFILE) &&
int entire_file_displayed(void);