[Webkit-unassigned] [Bug 182653] [GStreamer] Media controls slider does not work in webm video

[bugzilla-daemon at webkit.org]

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

--- Comment #13 from Michael Catanzaro <mcatanzaro at igalia.com> ---
Oh, there are currently no media controls in Fedora 30. It broke in late March or early April (from bug #194367). That's a long time to go without media controls.

But really, Tech Preview is our only built product we have and our only plausible source of ground truth, to the extent that one should be required for reporting a bug. It should be enough. Using build-webkit's JHBuild, our results will be incomparable due to host dependencies, and moreover uninteresting due to very old dependencies in the JHBuild.

Regardless: we've gotten confused about the Bugzilla bugs. Bug #194367 is for missing media controls. This bug we're arguing in is for the slider not working when the media controls are present. It's impossible to evaluate whether this one is fixed due to bug #194367. So if you see a media controls slider and it works, I guess closing this might be appropriate.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20190730/13c43c0c/attachment.html>