diff --git a/src/Admin/ScrapeRepo.py b/src/Admin/ScrapeRepo.py index cacd3048e8ea57866e088c1159eb9d587c5f173d..c07bfc5e73f5ed58b1815f4a0ba65569d54bca3e 100755 --- a/src/Admin/ScrapeRepo.py +++ b/src/Admin/ScrapeRepo.py @@ -720,7 +720,6 @@ def make_markdown_example_page(example_paths, available_languages, src_path, doc var btn_wasm = document.getElementById("wasm-button"); var btn_reload = document.getElementById("reload-wasm-button"); var btn_open = document.getElementById("open-wasm-button"); - var checkbox = document.getElementById("checkbox"); var frame = document.getElementById("frame"); var wasm = document.getElementById("wasm-div"); var img = document.getElementById("screenshot-div"); @@ -730,7 +729,6 @@ def make_markdown_example_page(example_paths, available_languages, src_path, doc frame.src = "about:blank"; btn_screenshot.disabled = true; btn_wasm.disabled = false; - checkbox.checked = false; } btn_wasm.onclick = function () { img.style.display = "none"; @@ -752,7 +750,6 @@ def make_markdown_example_page(example_paths, available_languages, src_path, doc frame.src = "about:blank"; btn_screenshot.disabled = true; btn_wasm.disabled = false; - checkbox.checked = false; } </script>\n''') md_file.write('<hr>\n')