From 91d180b7c3b523c6f7c6bc9d4e6d7f6058b90241 Mon Sep 17 00:00:00 2001 From: Hugo H Date: Fri, 26 Dec 2025 10:41:58 +0000 Subject: [PATCH] Fullscreen doesnt work in some contexts, removed for now --- editor.html | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/editor.html b/editor.html index d43e38e..42ab3c3 100644 --- a/editor.html +++ b/editor.html @@ -183,14 +183,6 @@ -
- -
@@ -293,16 +285,6 @@ return Sk.builtinFiles["files"][x]; } - function toggleFullscreen() { - if (!document.fullscreenElement) { - document.documentElement.requestFullscreen(); - } else { - if (document.exitFullscreen) { - document.exitFullscreen(); - } - } - } - function runCurrentCode() { stopCurrentCode(); if (term) term.clear();