diff options
Diffstat (limited to 'editors')
-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 | ); |