needs_no_redisplay 13687 src/xdisp.c    	      if (!needs_no_redisplay (w))
needs_no_redisplay 19567 src/xdisp.c      if (!just_this_one_p && needs_no_redisplay (w))