[Webkit-unassigned] [Bug 35333] [GTK] video playback position query flood when mouse over the video element

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=35333





--- Comment #8 from Eric Carlson <eric.carlson at apple.com>  2010-03-09 09:26:07 PST ---
(In reply to comment #7)
> (In reply to comment #6)
> > // Structure that will hold every native
> > // types supported by the current media player.
> > // We have to do that has multiple media players
> > // backend can live at runtime.
> > 
> > So as I understood it we need to stuff inside this structure. Or should we
> > instead conditionally define it depending on the platform? Now I am confused!
> > :)
> 
> Made sense to me after reading a bit more of the code. No, I think your
> original patch is right. This is so that, say, if a port is able to use both
> the Mac Media Player, and the GStreamer one, you'll have both available, and
> choose which to use in run time.
> 
Actually I don't agree. The current member name was poorly chosen and should
change. The value is really media engine specific, and I think it would make
more sense to have a generic type that is cast to the specific type when it is
used.

If a port is able to use both a QuickTime and GStreamer backend I would expect
it to have a different media engine for each, and obviously only one will be
used for a single movie.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.