propagate_buffer_redisplay 17150 src/xdisp.c          propagate_buffer_redisplay ();
propagate_buffer_redisplay 17429 src/xdisp.c    	    propagate_buffer_redisplay ();