{{/* File Tree Component — workspace file browser with directory expand/collapse. Usage: {{template "file-tree" dict "ID" "editor"}} Creates mount points: {ID}FileTree, {ID}TreeHeader, {ID}TreeItems, {ID}TreeNewFile. FileTree.create() in file-tree.js binds to these IDs. */}} {{define "file-tree"}}
Files
{{/* Populated by FileTree.refresh() */}}
{{end}}