First, thanks a lot for your useful tips, Konstantin, Hugo. Second, let's assume I expect to change player: - from "natural" default solution => Source/WebCore/platform/graphics/mac/MediaPlayerPrivateQTKit.* - to another one that is GSTREAMER
What would be the trick to evolve properly from Quicktime to Gst ? Hugo told us about Source/WebCore/platform/graphics/gstreamer/M ediaPlayerPrivateGStreamer.cpp but invited us to read http://hackerslab.eu/blog/2013/01/migration-to-gstreamer-1-x-for-webkit/ as a pre-requisite However, I dare here to request safe and clear procedure to migrate properly, efficiently. -- gstreamerForEver On Tue, Oct 15, 2013 at 2:22 PM, Konstantin Tokarev <annu...@yandex.ru>wrote: > > 15.10.2013, 16:06, "Hugo Machefer" <hugo.mache...@gmail.com>: > > Precision: ENABLE_VIDEO seems to be set (by default) on MacOsX according > to rules defined within Tools/Scripts/webkitperl/FeatureList.pm > > Correct ? > > Actually, it is controlled by --[no-]video option of build-webkit (default > dependens on WebKit port chosen). > > -- > Regards, > Konstantin >
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev