wset_normal_lines 2509 src/window.c         wset_normal_lines (n, o->normal_lines);
wset_normal_lines 2510 src/window.c         wset_normal_lines (o, make_float (1.0));
wset_normal_lines 2587 src/window.c   		wset_normal_lines
wset_normal_lines 4378 src/window.c     wset_normal_lines (w, make_float (1.0));
wset_normal_lines 4613 src/window.c   	wset_normal_lines (w, w->new_normal);
wset_normal_lines 5226 src/window.c   	  wset_normal_lines (s, p->normal_lines);
wset_normal_lines 7234 src/window.c   	  wset_normal_lines (w, p->normal_lines);