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();