From 3743cbdaab9e3044d0f8c45ba07e9bee9198784c Mon Sep 17 00:00:00 2001
From: Jaifroid <egk10@cam.ac.uk>
Date: Fri, 3 Mar 2023 23:29:09 +0000
Subject: [PATCH] Make selector compatible with IE11

---
 www/js/lib/uiUtil.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/www/js/lib/uiUtil.js b/www/js/lib/uiUtil.js
index 3b24cf9d..de691dea 100644
--- a/www/js/lib/uiUtil.js
+++ b/www/js/lib/uiUtil.js
@@ -1014,7 +1014,7 @@ define(rqDef, function(util) {
         }
         // Choose the correct method to request or cancel full-screen mode
         var rq = function (sel) { 
-            return sel ? 
+            var fn = sel ? 
                 // Request full-screen mode
                 sel.requestFullscreen ? sel.requestFullscreen() :
                 sel.webkitRequestFullscreen ? sel.webkitRequestFullscreen() :
@@ -1025,6 +1025,7 @@ define(rqDef, function(util) {
                 document.webkitExitFullscreen ? document.webkitExitFullscreen() :
                 document.mozCancelFullScreen ? document.mozCancelFullScreen() :
                 document.msExitFullscreen ? document.msExitFullscreen() : Promise.reject('No full-screen mode API available');
+            return typeof fn === 'Promise' ? fn : Promise.resolve(fn); 
         };
         return rq(el).then(function () {
             console.log(el ? 'Full-screen mode enabled' : 'Full-screen mode disabled');