From 1848125947b8c579004ae5be636fd694b72b862f Mon Sep 17 00:00:00 2001
From: Adrien Stucky <adrien.stucky@kitware.com>
Date: Fri, 23 Feb 2024 10:50:12 +0100
Subject: [PATCH] fix checkbox reset

---
 src/Admin/ScrapeRepo.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Admin/ScrapeRepo.py b/src/Admin/ScrapeRepo.py
index 3a8688f3844..7fe601b4ae2 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) => {
-- 
GitLab