From 781f50c8fa5be2b2f6aa40e508ca6c49731c0dc6 Mon Sep 17 00:00:00 2001
From: kuotsanhsu <learningstud@gmail.com>
Date: Sun, 12 Apr 2026 18:37:04 +0800
Subject: [PATCH] fix: unicode file paths displayed as URI-encoded in the
 infoview

---
 lean4-infoview/src/infoview/info.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lean4-infoview/src/infoview/info.tsx b/lean4-infoview/src/infoview/info.tsx
index 9dbaa39f..c38cac5a 100644
--- a/lean4-infoview/src/infoview/info.tsx
+++ b/lean4-infoview/src/infoview/info.tsx
@@ -61,7 +61,7 @@ const InfoStatusBar = React.memo((props: InfoStatusBarProps) => {
         ready: '',
     }
     const statusColor = statusColTable[status]
-    const locationString = `${basename(pos.uri)}:${pos.line + 1}:${pos.character}`
+    const locationString = `${basename(decodeURIComponent(pos.uri))}:${pos.line + 1}:${pos.character}`
     const isPinned = kind === 'pin'
 
     const spinnerStyle: React.CSSProperties = {