diff options
Diffstat (limited to 'enable_mse.patch')
-rw-r--r-- | enable_mse.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/enable_mse.patch b/enable_mse.patch new file mode 100644 index 000000000000..b931ab3def3f --- /dev/null +++ b/enable_mse.patch @@ -0,0 +1,26 @@ +From 54234fe9e5652408d1a6cbf046ac66dd212c20b1 Mon Sep 17 00:00:00 2001 +From: Giovanni Santini <giovannisantini93@yahoo.it> +Date: Sat, 14 Apr 2018 16:30:33 +0200 +Subject: [PATCH] Enabling MSE (Media Source Extensions) MSE support has been + merged already within WebkitGTK+ and is useful for many video and audio + streaming websites (one to mention, Youtube). This simple line enables MSE + when WebkitGTK+ is built with the proper flag. + +--- + embed/ephy-embed-prefs.c | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/embed/ephy-embed-prefs.c b/embed/ephy-embed-prefs.c +index d85413732..1e2679464 100644 +--- a/embed/ephy-embed-prefs.c ++++ b/embed/ephy-embed-prefs.c +@@ -433,6 +433,7 @@ ephy_embed_prefs_init (gpointer user_data) + "enable-dns-prefetching", TRUE, + "hardware-acceleration-policy", WEBKIT_HARDWARE_ACCELERATION_POLICY_NEVER, + "javascript-can-open-windows-automatically", TRUE, ++ "enable-mediasource", TRUE, + NULL); + + for (i = 0; i < G_N_ELEMENTS (webkit_pref_entries); i++) { +-- +2.17.0 |