From 69f2901e6618b15770743df5ac3e640f507d66cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A1n=20Jockusch?= <jan.jockusch@perfact.de>
Date: Mon, 6 May 2019 11:25:28 +0200
Subject: [PATCH] IE issue fixed.

---
 app/ui.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/app/ui.js b/app/ui.js
index 1dc2f05e..91bd2d3a 100644
--- a/app/ui.js
+++ b/app/ui.js
@@ -1206,6 +1206,11 @@ const UI = {
                 for (let i in iframes) {
                     if (iframes[i].contentDocument === document) {
                         doc_el = iframes[i];
+                        // To use .body.msRequestFullscreen in IE, we need to
+                        // set the document element accordingly.
+                        // Note that the <iframe> must have the attribute
+                        // "allowfullscreen" set for IE to allow the feature.
+                        doc = iframes[i].contentDocument;
                         break;
                     }
                 }