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 83454 62178604511c
parent 83451 fd08336dc18e 
--- a/src/Tools/VSCode/extension/media/sledgehammer.js	Sun Nov 02 15:53:25 2025 +0100
+++ b/src/Tools/VSCode/extension/media/sledgehammer.js	Sun Nov 02 15:56:32 2025 +0100
@@ -217,7 +217,7 @@
               const button = document.createElement("button");
               button.textContent = node.textContent.trim();
               button.addEventListener("click", () =>
-                vscode.postMessage({ command: "insert", text: node.textContent.trim() }));
+                vscode.postMessage({ command: "sendback", text: node.textContent.trim() }));
               div.appendChild(button);
             }
             else {
isabelle