etc/build.props

--- a/etc/build.props	Thu Oct 23 14:49:21 2025 +0200
+++ b/etc/build.props	Thu Oct 23 16:15:40 2025 +0200
@@ -283,6 +283,7 @@
   src/Tools/VSCode/src/language_server.scala \
   src/Tools/VSCode/src/lsp.scala \
   src/Tools/VSCode/src/pretty_text_panel.scala \
+  src/Tools/VSCode/src/sledgehammer_panel.scala \
   src/Tools/VSCode/src/preview_panel.scala \
   src/Tools/VSCode/src/state_panel.scala \
   src/Tools/VSCode/src/vscode_main.scala \