94 	int		filler_todo UNUSED,  in get_sign_display_info()
120 	    + filler_lines && filler_todo <= 0  in get_sign_display_info()
334     int		filler_todo = 0;	// nr of filler lines still to do + 1  in win_line()  local
674     filler_todo = filler_lines;  in win_line()
1068 			    row, startrow, filler_lines, filler_todo, &c_extra,  in win_line()
1092 				row, startrow, filler_lines, filler_todo,  in win_line()
1238 		if (filler_todo > 0)  in win_line()
1321 				   && filler_todo <= 0  in win_line()
2585 		&& filler_todo <= 0  in win_line()
2811 		&& filler_todo <= 0  in win_line()
2852 			&& filler_todo <= 0  in win_line()
2931 			&& filler_todo <= 0  in win_line()
3050 		&& filler_todo <= 0  in win_line()
3078 		    || filler_todo > 0  in win_line()
3100 		    && filler_todo <= 0  in win_line()
3108 		    && filler_todo <= 0  in win_line()
3126 		     && filler_todo <= 0  in win_line()
3209 	    if (filler_todo <= 0)  in win_line()
3214 	    --filler_todo;  in win_line()
3217 	    if (filler_todo == 0 && wp->w_botfill)  in win_line()