diff --git a/frontend/src/lib/components/EditorHeader.svelte b/frontend/src/lib/components/EditorHeader.svelte index 7b6c4e0393..82be29b658 100644 --- a/frontend/src/lib/components/EditorHeader.svelte +++ b/frontend/src/lib/components/EditorHeader.svelte @@ -56,14 +56,9 @@ * dropped, leaving only the summary. Used by the condensed session- * preview top bar to save vertical room. */ hidePath?: boolean - /** Drop the summary, for a host that renders its own after the path. */ - hideSummary?: boolean /** Workspace whose items the breadcrumb picker lists; defaults to the operating * workspace (see `useOperatingWorkspace`). */ workspaceId?: string - /** Lay the summary out after the path on one line, for the page header bar, rather than - * stacked under it. */ - inline?: boolean } let { @@ -78,9 +73,7 @@ summaryEditable = true, pathEditable = true, hidePath = false, - hideSummary = false, - workspaceId, - inline = false + workspaceId }: Props = $props() let pathPopoverOpen = $state(false) @@ -133,11 +126,7 @@ } -