[whatwg] Some media element details

On Mon, 6 Oct 2008, Bonner, Matt wrote:
> 
> the original proposal said:
> 
> >>>>>> "var playing = !video.paused &&
> >>>>>> !video.ended && video.readyState >= HTMLMediaElement.CAN_PLAY"
> 
> you appear to be proposing:
> 
> > var playing = !video.paused && video.readyState >=
> HTMLMediaElement.CAN_PLAY
> 
> which only leaves the "video.ended" state in question.

It's redundant -- the readyState can never be HAVE_FUTURE if there is no 
future (as is the case if the playback has ended).

-- 
Ian Hickson               U+1047E                )\._.,--....,'``.    fL
http://ln.hixie.ch/       U+263A                /,   _.. \   _\  ;`._ ,.
Things that are impossible just take longer.   `._.-(,_..'--(,_..'`-.;.'

Received on Tuesday, 14 October 2008 17:47:02 UTC