needs_no_redisplay 13722 src/xdisp.c    	      if (!needs_no_redisplay (w))
needs_no_redisplay 19773 src/xdisp.c      if (!just_this_one_p && needs_no_redisplay (w))