diff options
author | Omer Ben-Amram <[email protected]> | 2019-12-15 14:55:39 +0000 |
---|---|---|
committer | Omer Ben-Amram <[email protected]> | 2019-12-15 14:55:39 +0000 |
commit | 498a7912e923ad8ce349f6874568373f430e9602 (patch) | |
tree | 04b00f72647b22cac918af0e76078baf29312c70 /editors/code/src/notifications/publish_decorations.ts | |
parent | 324cbe839f3110bd4d51726d5a7afe29808ade02 (diff) |
fixed comment
Diffstat (limited to 'editors/code/src/notifications/publish_decorations.ts')
-rw-r--r-- | editors/code/src/notifications/publish_decorations.ts | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/editors/code/src/notifications/publish_decorations.ts b/editors/code/src/notifications/publish_decorations.ts index 4441e2b28..2ccd2d585 100644 --- a/editors/code/src/notifications/publish_decorations.ts +++ b/editors/code/src/notifications/publish_decorations.ts | |||
@@ -12,9 +12,8 @@ export function handle(params: PublishDecorationsParams) { | |||
12 | const targetEditor = vscode.window.visibleTextEditors.find( | 12 | const targetEditor = vscode.window.visibleTextEditors.find( |
13 | editor => { | 13 | editor => { |
14 | const unescapedUri = unescape(editor.document.uri.toString()); | 14 | const unescapedUri = unescape(editor.document.uri.toString()); |
15 | // Unescaped URI should be something like: | 15 | // Unescaped URI looks like: |
16 | // file:///c:/Workspace/ra-test/src/main.rs | 16 | // file:///c:/Workspace/ra-test/src/main.rs |
17 | // RA server might send it with the drive letter uppercased, so we force only the drive letter to lowercase. | ||
18 | return unescapedUri === params.uri | 17 | return unescapedUri === params.uri |
19 | } | 18 | } |
20 | ); | 19 | ); |