aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src
diff options
context:
space:
mode:
authorOmer Ben-Amram <[email protected]>2019-12-15 14:55:39 +0000
committerOmer Ben-Amram <[email protected]>2019-12-15 14:55:39 +0000
commit498a7912e923ad8ce349f6874568373f430e9602 (patch)
tree04b00f72647b22cac918af0e76078baf29312c70 /editors/code/src
parent324cbe839f3110bd4d51726d5a7afe29808ade02 (diff)
fixed comment
Diffstat (limited to 'editors/code/src')
-rw-r--r--editors/code/src/notifications/publish_decorations.ts3
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 );