Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/media/sledgehammer.js
changeset 83450 41362d9e1be4
parent 83449 5a2411ad86c4
child 83451 fd08336dc18e 
--- a/src/Tools/VSCode/extension/media/sledgehammer.js	Sat Nov 01 18:14:01 2025 +0100
+++ b/src/Tools/VSCode/extension/media/sledgehammer.js	Sat Nov 01 18:15:24 2025 +0100
@@ -219,7 +219,7 @@
                 div.appendChild(span);
               }
             }
-            else if (node.nodeName.toLowerCase() === "sendback") {
+            else if (node.nodeName === "sendback") {
               const button = document.createElement("button");
               button.textContent = node.textContent.trim();
               button.addEventListener("click", () =>
isabelle