fix(webshell): making webshell iframe safe by making all parent acces…

…s inside try-catch
org-arl · Jul 10, 2024 · 2d970ac · 2d970ac
1 parent e6a81b3
commit 2d970ac
Showing 1 changed file with 15 additions and 12 deletions.
diff --git a/src/main/resources/org/arl/fjage/web/shell/index.html b/src/main/resources/org/arl/fjage/web/shell/index.html
@@ -80,7 +80,6 @@
   </div>
   <script>
     const ignoreKeys = ['Meta-R', 'Meta-Shift-R'];
-    let defaultCursorWidth;
     let rtime = 0;
     let resizing = false;
     let delta = 200;
@@ -160,29 +159,33 @@
       }
     }
     window.addEventListener('load', () => {
-      let hideModeToggle = false;
-      if (window.parent.document.documentElement.classList.contains('dark')){
-        currentTheme = 'dark';
-        hideModeToggle = true;
-      }else if (window.parent.document.documentElement.classList.contains('light')){
-        currentTheme = 'light';
-        hideModeToggle = true;
-      }
-      hideModeToggle = hideModeToggle || window.parent.hideModeToggle;
       const darkmodeBtn = document.getElementById('darkmode-tgl');
+      let hideModeToggle = false;
       let userTheme = false;
 
+      try{
+        if (window.parent.document.documentElement.classList.contains('dark')){
+          currentTheme = 'dark';
+          hideModeToggle = true;
+        }else if (window.parent.document.documentElement.classList.contains('light')){
+          currentTheme = 'light';
+          hideModeToggle = true;
+        }
+        hideModeToggle = hideModeToggle || window.parent.hideModeToggle;
+      }catch(e){
+        // ignore
+      }
+
       const term = new Terminal({
         cols: 160,
         rows: 50
       });
       fitAddon = new FitAddon.FitAddon();
       term.loadAddon(fitAddon);
       term.loadAddon(new WebLinksAddon.WebLinksAddon());
-
       term.open(document.getElementById('terminal'));
+
       fitAddon.fit();
-      defaultCursorWidth = term.getOption("cursorWidth");
 
       if (currentTheme == null && window.matchMedia) currentTheme = window.matchMedia('(prefers-color-scheme: dark)').matches ? 'dark' : 'light';