Enable Media Source Extensions

Fixes #93
This commit is contained in:
Cassidy James Blaede 2019-03-01 15:10:39 -07:00 committed by GitHub
parent 309fb16cfa
commit a6c597aa32
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
} }
}; };