wset_normal_cols 2507 src/window.c         wset_normal_cols (n, o->normal_cols);
wset_normal_cols 2508 src/window.c         wset_normal_cols (o, make_float (1.0));
wset_normal_cols 2583 src/window.c   		wset_normal_cols
wset_normal_cols 4397 src/window.c     wset_normal_cols (w, make_float (1.0));
wset_normal_cols 4622 src/window.c   	wset_normal_cols (w, w->new_normal);
wset_normal_cols 5242 src/window.c   	  wset_normal_cols (s, p->normal_cols);
wset_normal_cols 7250 src/window.c   	  wset_normal_cols (w, p->normal_cols);