| 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') }); }); }