Merge pull request #94 from cassidyjames/patch-1

Enable Media Source Extensions
This commit is contained in:
Artem Anufrij 2019-07-15 17:18:58 +02:00 committed by GitHub
commit 747ac0b29f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -64,6 +64,7 @@ namespace Webpin.Widgets {
web_view = new WebKit.WebView.with_context (WebKit.WebContext.get_default ()) { web_view = new WebKit.WebView.with_context (WebKit.WebContext.get_default ()) {
settings = new WebKit.Settings () { settings = new WebKit.Settings () {
enable_mediasource = true,
enable_webgl = true enable_webgl = true
} }
}; };