src/Tools/VSCode/extension/media/sledgehammer.js

--- a/src/Tools/VSCode/extension/media/sledgehammer.js	Sat Nov 01 18:15:24 2025 +0100
+++ b/src/Tools/VSCode/extension/media/sledgehammer.js	Sun Nov 02 14:42:46 2025 +0100
@@ -38,12 +38,8 @@
   dropdown.className = "provers-dropdown";
   provers_input_wrapper.appendChild(dropdown);
 
-  function show_dropdown() {
-    dropdown.classList.add("visible");
-  }
-  function hide_dropdown() {
-    dropdown.classList.remove("visible");
-  }
+  function show_dropdown() { dropdown.classList.add("visible"); }
+  function hide_dropdown() { dropdown.classList.remove("visible"); }
 
   function render_dropdown(open = false) {
     dropdown.innerHTML = "";
@@ -86,7 +82,6 @@
     if (open) show_dropdown(); else hide_dropdown();
   }
 
-
   chevron_button.addEventListener("mousedown", function (e) {
     e.preventDefault();
     if (dropdown.classList.contains("visible")) {
@@ -148,7 +143,6 @@
   try0_label.appendChild(try0_checkbox);
   try0_label.appendChild(document.createTextNode(" Try methods"));
 
-
   provers_input.addEventListener("input", save_state);
   isar_checkbox.addEventListener("change", save_state);
   try0_checkbox.addEventListener("change", save_state);