tuned: avoid camel-case;

--- a/src/Tools/VSCode/extension/media/sledgehammer.js	Sun Oct 26 18:26:49 2025 +0100
+++ b/src/Tools/VSCode/extension/media/sledgehammer.js	Sun Oct 26 18:38:22 2025 +0100
@@ -120,8 +120,8 @@
     }
   });
 
-  function set_history(newHistory) {
-    history = Array.isArray(newHistory) ? newHistory : [];
+  function set_history(new_history) {
+    history = Array.isArray(new_history) ? new_history : [];
     save_state();
     render_dropdown(false);
   }