From 5717fd04707151a94d904396115fbab4fc0b8c6a Mon Sep 17 00:00:00 2001
From: BoykoAlex <alex.boyko@gmail.com>
Date: Tue, 18 Jul 2023 16:36:29 -0400
Subject: [PATCH] Let doc uris on win to be escaped. Only up case drive letter

---
 vscode-extensions/vscode-spring-boot/lib/Main.ts | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/vscode-extensions/vscode-spring-boot/lib/Main.ts b/vscode-extensions/vscode-spring-boot/lib/Main.ts
index 90979e037..0bb183209 100644
--- a/vscode-extensions/vscode-spring-boot/lib/Main.ts
+++ b/vscode-extensions/vscode-spring-boot/lib/Main.ts
@@ -74,15 +74,16 @@ export function activate(context: VSCode.ExtensionContext): Thenable<ExtensionAP
                     * It comes in as "file:///c%3A/Users/ab/spring-petclinic/src/main/java/org/springframework/samples/petclinic/owner/PetRepository.java"
                     * 
                     * While symbols index would have this uri instead:
-                    * - "file:///C:/Users/ab/spring-petclinic/src/main/java/org/springframework/samples/petclinic/owner/PetRepository.java"
+                    * - "file:///C%3A/Users/ab/spring-petclinic/src/main/java/org/springframework/samples/petclinic/owner/PetRepository.java"
                     * 
-                    * i.e. lower vs upper case drive letter and escaped drive colon  
+                    * i.e. lower vs upper case drive letter  
                     */
                     if (OS.platform() === "win32" && uri.scheme === 'file') {
-                        let uriStr = uri.toString(true);
-                        const idx = uriStr.indexOf(':', 5);
-                        if (idx > 5 && idx < 10) {
-                            uriStr = `${uriStr.substring(0, idx - 1)}${uriStr.charAt(idx - 1).toUpperCase()}${uriStr.substring(idx)}`
+                        let uriStr = uri.toString();
+                        let idx = 5; // skip through `file:
+                        for (; idx < uriStr.length - 1 && uriStr.charAt(idx) === '/'; idx++) {}
+                        if (idx < uriStr.length - 1) {
+                            uriStr = `${uriStr.substring(0, idx)}${uriStr.charAt(idx).toUpperCase()}${uriStr.substring(idx + 1)}`
                         }
                         return uriStr;
                     }