tuned comments;

--- a/src/Tools/VSCode/extension/media/symbols.js	Thu Oct 23 17:02:07 2025 +0200
+++ b/src/Tools/VSCode/extension/media/symbols.js	Thu Oct 23 17:14:39 2025 +0200
@@ -238,7 +238,7 @@
 
         const button = document.createElement('div');
         if (group === "arrow") {
-          button.classList.add('arrow-button'); // Spezielle Klasse für Pfeile
+          button.classList.add('arrow-button'); // special class for arrows
         } else {
           button.classList.add('symbol-button');
         }