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 4396 src/window.c     wset_normal_lines (w, make_float (1.0));
wset_normal_lines 4631 src/window.c   	wset_normal_lines (w, w->new_normal);
wset_normal_lines 5243 src/window.c   	  wset_normal_lines (s, p->normal_lines);
wset_normal_lines 7251 src/window.c   	  wset_normal_lines (w, p->normal_lines);