update_single_window 2388 src/androidfns.c   update_single_window (w);
update_single_window 3775 src/dispextern.h void update_single_window (struct window *);
update_single_window 2694 src/haikufns.c   update_single_window (w);
update_single_window 3381 src/pgtkfns.c    update_single_window (w);
update_single_window 7662 src/w32fns.c     update_single_window (w);
update_single_window 13265 src/xdisp.c    	      update_single_window (w);
update_single_window 9302 src/xfns.c       update_single_window (w);