Ah, I should note that although video playback is working (as is silky smooth), there is a bug where GStreamer/WebKitGtk hangs sometimes when you switch between videos by changes video.src on the <video> element:
https://bugs.launchpad.net/ubuntu/+source/webkit/+bug/906784
https://bugs.webkit.org/show_bug.cgi?id=74986
I think this might be a fairly minor, easy to fix bug, but as it stands, it's pretty hard to actually use the Dmedia video browser.
Ah, I should note that although video playback is working (as is silky smooth), there is a bug where GStreamer/WebKitGtk hangs sometimes when you switch between videos by changes video.src on the <video> element:
https:/ /bugs.launchpad .net/ubuntu/ +source/ webkit/ +bug/906784
https:/ /bugs.webkit. org/show_ bug.cgi? id=74986
I think this might be a fairly minor, easy to fix bug, but as it stands, it's pretty hard to actually use the Dmedia video browser.