Lines Matching full:play
7600 for play/pause & mute buttons.
7609 specific to play/pause button.
7619 specific to play/pause button.
9691 <rdar://problem/6739671> Movie controller?s play button does not change into a pause
9697 to the play/pause and mute/unmute buttons, which both have two states.
9716 Choose play vs. paused display.
16860 media player client we won't play this movie correctly.
17709 <rdar://problem/6754957> Resizing Web browser window and hitting play will cause video blocks and artifacting
25368 Spacebar didn't play/pause in standalone MediaDocument
28075 (WebCore::HTMLMediaElement::play): Remove exception param, play() before load() now just
28121 events when we pauses the movie. Set the media engine rate before calling play() in case it
28136 defaultPlaybackRate, playbackRate, play(), and pause() no longer raise exceptions.
28150 (WebCore::MediaDocument::defaultEventHandler): play() and pause() don't take an exception.
28177 (WebCore::MediaPlayerPrivate::play): No more m_endPointTimer.
28205 (WebCore::MediaPlayerPrivate::play): No more m_endPointTimer.
32845 Test: media/video-can-play-type.html
33175 (WebCore::MediaPlayerPrivate::play): Ditto.
36367 Make it possible for a port to require a user gesture to play/pause an <audio> or <video> element
36376 (WebCore::HTMLMediaElement::play): Call playInternal if restrictions check out.
36377 (WebCore::HTMLMediaElement::playInternal): New, guts of old play()
38034 (WebCore::NullMediaPlayerPrivate::play):
39796 (WebCore::HTMLMediaElement::play): Ditto.
40606 (WebCore::RenderMedia::updateControls): Ask media element if it is able to play instead of including
42870 Remove -webkit-animation-play-state
72967 (WebCore::HTMLMediaElement::play):
90406 (WebCore::MediaPlayerPrivate::play):
93552 (WebCore::JSCSSStyleDeclaration::customPut): Be sure to play nice with
