(name: string, hasChildren: boolean)
| 84 | } |
| 85 | |
| 86 | function appendDirectorySlash(name: string, hasChildren: boolean): string { |
| 87 | return hasChildren && !name.endsWith('/') ? `${name}/` : name; |
| 88 | } |
| 89 | |
| 90 | function formatLeaf(node: PathTreeNode, displayName: string): string { |
| 91 | return node.label ? `${displayName} — ${node.label}` : displayName; |