Merge pull request #563 from yuk1ty/fix-rename

Change getting file name to URI
fwcd · Mar 8, 2024 · b08f223 · b08f223
2 parents 2b678f1 + 23e655e
commit b08f223
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/server/src/main/kotlin/org/javacs/kt/CompiledFile.kt b/server/src/main/kotlin/org/javacs/kt/CompiledFile.kt
@@ -7,6 +7,7 @@ import org.javacs.kt.position.changedRegion
 import org.javacs.kt.position.location
 import org.javacs.kt.position.position
 import org.javacs.kt.position.range
+import org.javacs.kt.position.toURIString
 import org.javacs.kt.util.findParent
 import org.javacs.kt.util.nullResult
 import org.javacs.kt.util.toPath
@@ -214,7 +215,7 @@ class CompiledFile(
 
         return declaration?.let {
             Pair(it,
-                 Location(it.containingFile.name,
+                 Location(it.containingFile.toURIString(),
                           range(content, it.nameIdentifier?.textRange ?: return null)))
         }
     }