gui_update_window_end 3718 src/dispextern.h extern void gui_update_window_end (struct window *, bool, bool);
gui_update_window_end 3834 src/dispnew.c        gui_update_window_end (w, !paused_p, mouse_face_overwritten_p);
gui_update_window_end 21015 src/xdisp.c    	      gui_update_window_end (w, false, false);
gui_update_window_end 21183 src/xdisp.c    	  gui_update_window_end (w, false, false);
gui_update_window_end 22166 src/xdisp.c    	  gui_update_window_end (w, false, false);