scrolling_max_lines_saved 3826 src/dispextern.h extern int scrolling_max_lines_saved (int, int, unsigned *, unsigned *, int *);
scrolling_max_lines_saved 5188 src/dispnew.c  	   < 10 * scrolling_max_lines_saved (unchanged_at_top,