src/Tools/VSCode/extension/media/main.js
changeset 83394 8026f3a3146d
parent 81046 95f650a8ce08
--- a/src/Tools/VSCode/extension/media/main.js	Sun Oct 26 14:06:31 2025 +0100
+++ b/src/Tools/VSCode/extension/media/main.js	Sun Oct 26 14:20:56 2025 +0100
@@ -3,10 +3,7 @@
 
     for (const link of document.querySelectorAll('a[href^="file:"]')) {
         link.addEventListener('click', () => {
-            vscode.postMessage({
-                command: "open",
-                link: link.getAttribute('href'),
-            });
+            vscode.postMessage({ command: "open", link: link.getAttribute('href') });
         });
     }