| 46 | |
| 47 | // Format URI for display - show just the meaningful part |
| 48 | function formatUri(uri: string): string { |
| 49 | // For file:// URIs, show just the filename |
| 50 | if (uri.startsWith('file://')) { |
| 51 | const path = uri.slice(7); |
| 52 | const parts = path.split('/'); |
| 53 | return parts[parts.length - 1] || path; |
| 54 | } |
| 55 | // For other URIs, show the whole thing but truncated |
| 56 | if (uri.length > 40) { |
| 57 | return uri.slice(0, 39) + '\u2026'; |
| 58 | } |
| 59 | return uri; |
| 60 | } |
| 61 | export function UserResourceUpdateMessage(t0) { |
| 62 | const $ = _c(12); |
| 63 | const { |