update_single_window 3715 src/dispextern.h void update_single_window (struct window *);
update_single_window 2640 src/haikufns.c   update_single_window (w);
update_single_window 3388 src/pgtkfns.c    update_single_window (w);
update_single_window 7629 src/w32fns.c     update_single_window (w);
update_single_window 13230 src/xdisp.c    	      update_single_window (w);
update_single_window 9021 src/xfns.c       update_single_window (w);