vscode: made uri equality check on actual strings, not on the functions;

--- a/src/Tools/VSCode/extension/src/decorations.ts	Fri Jul 05 13:15:05 2024 +0200
+++ b/src/Tools/VSCode/extension/src/decorations.ts	Fri Jul 05 13:15:50 2024 +0200
@@ -192,7 +192,7 @@
       document_decorations.set(uri.toString(), document)
 
       for (const editor of window.visibleTextEditors) {
-        if (uri.toString === editor.document.uri.toString) {
+        if (uri.toString() === editor.document.uri.toString()) {
           editor.setDecorations(typ, content)
         }
       }