I just discovered a slight bug in the new paging system. If you have a line that has 80 chars and then \r or \n or both then function next_page will count it as two lines. My fix: char *next_page(void) {
This archive was generated by hypermail 2b30 : 12/07/00 PST