{# COLUMN 4 — WORKSPACE dock (project-scoped file tree + actions). Re-rendered whole on a project switch (GET /workspace/{key}) so the tree re-roots at the newly selected project's repo_root. The right column is the file TREE only — clicking a file opens it in the CENTER pane (preview + edit), not in this column. Layout: - dock head : "Workspace" title + collapse chevron - dock toolbar : project name (root label) · new file · new folder · refresh - tree : the root directory's entries (lazy children below) - ctx menu : the ⋯/right-click action menu (open/rename/move/new/delete) - toast slot : create/rename/move/delete acknowledgements Vars: entries : root directory entries (workspace.Entry; hidden incl.) ws_project_key : scoped project key ws_project_name : project display name (the tree root label) ws_repo_root : absolute repo_root on disk (title tooltip only) ws_error : set if the root could not be listed (no worktree / escape) #}