aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
Diffstat (limited to 'editors')
-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 120eabbc6..4441e2b28 100644
--- a/editors/code/src/notifications/publish_decorations.ts
+++ b/editors/code/src/notifications/publish_decorations.ts
@@ -15,8 +15,7 @@ export function handle(params: PublishDecorationsParams) {
15 // Unescaped URI should be something like: 15 // Unescaped URI should be something 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. 17 // RA server might send it with the drive letter uppercased, so we force only the drive letter to lowercase.
18 const uriWithLowercasedDrive = params.uri.substr(0, 8) + params.uri[8].toLowerCase() + params.uri.substr(9); 18 return unescapedUri === params.uri
19 return unescapedUri === uriWithLowercasedDrive
20 } 19 }
21 ); 20 );
22 21