src/Tools/VSCode/extension/src/decorations.ts
changeset 81071 e1bfcc2a2c05
parent 81070 de30087b4ff8
equal deleted inserted replaced
81070:de30087b4ff8 81071:e1bfcc2a2c05
   190       const document = document_decorations.get(uri.toString()) || new Map<string, Content>()
   190       const document = document_decorations.get(uri.toString()) || new Map<string, Content>()
   191       document.set(decoration.type, content)
   191       document.set(decoration.type, content)
   192       document_decorations.set(uri.toString(), document)
   192       document_decorations.set(uri.toString(), document)
   193 
   193 
   194       for (const editor of window.visibleTextEditors) {
   194       for (const editor of window.visibleTextEditors) {
   195         if (uri.toString === editor.document.uri.toString) {
   195         if (uri.toString() === editor.document.uri.toString()) {
   196           editor.setDecorations(typ, content)
   196           editor.setDecorations(typ, content)
   197         }
   197         }
   198       }
   198       }
   199     }
   199     }
   200   }
   200   }