From b4c0a257600e6427eec26cfa0fbe2a3c48a2053f Mon Sep 17 00:00:00 2001
From: Damien De Paoli <ddp@depaoli.id.au>
Date: Sun, 30 Jan 2022 22:55:40 +1100
Subject: [PATCH] allow F in viewer to toggle fullscreen, rather than have to
 use Esc to exit fullscreen

---
 internal/js/view_support.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/internal/js/view_support.js b/internal/js/view_support.js
index 647e65d..9ae1d02 100644
--- a/internal/js/view_support.js
+++ b/internal/js/view_support.js
@@ -161,6 +161,8 @@ function ViewImageOrVideo()
         $('#figure').show()
         if( fullscreen )
             $('#canvas').get(0).requestFullscreen()
+        else
+            document.exitFullscreen()
     }
     if( objs[current].type == 'Video' )
     {
@@ -173,5 +175,7 @@ function ViewImageOrVideo()
         $('#video_div').show()
         if( fullscreen )
             $('#video').get(0).requestFullscreen()
+        else
+            document.exitFullscreen()
     }
 }