Double-click a file in the tree to edit it.
); } if (error && original === null) { return{error}
; } if (original === null) { returnloading…
; } return null; } /** EditorHeader shows the file name, dirty marker, save state and button. */ function EditorHeader({ path, dirty, status, error, onSave, }: { path: string; dirty: boolean; status: SaveStatus; error: string | null; onSave: () => Promise