sanitize_next_screen_context_lines 5670 src/window.c     int nscls = sanitize_next_screen_context_lines ();
sanitize_next_screen_context_lines 5798 src/window.c   	      int nscls = sanitize_next_screen_context_lines ();
sanitize_next_screen_context_lines 5885 src/window.c         int nscls = sanitize_next_screen_context_lines ();
sanitize_next_screen_context_lines 6232 src/window.c         int nscls = sanitize_next_screen_context_lines ();