propagate_buffer_redisplay 17158 src/xdisp.c          propagate_buffer_redisplay ();
propagate_buffer_redisplay 17437 src/xdisp.c    	    propagate_buffer_redisplay ();