diff --git a/src/Admin/ScrapeRepo.py b/src/Admin/ScrapeRepo.py index 3a8688f3844410278bc9c3175a288b207ee4a955..7fe601b4ae259e9f59254d9a9abe19040e619181 100755 --- a/src/Admin/ScrapeRepo.py +++ b/src/Admin/ScrapeRepo.py @@ -725,6 +725,7 @@ 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"); @@ -734,6 +735,7 @@ 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"; @@ -754,6 +756,7 @@ 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; } const checkbox = document.getElementById('checkbox') checkbox.addEventListener('change', (event) => {