propagate_buffer_redisplay 17002 src/xdisp.c          propagate_buffer_redisplay ();
propagate_buffer_redisplay 17281 src/xdisp.c    	    propagate_buffer_redisplay ();