needs_no_redisplay 13714 src/xdisp.c    	      if (!needs_no_redisplay (w))
needs_no_redisplay 19765 src/xdisp.c      if (!just_this_one_p && needs_no_redisplay (w))