Interface: WorkspacePropertyPageProps
Defined in: packages/sdk/src/workspace-service.ts:132
Props passed to a WorkspacePropertyPage component.
Properties
ws
ws: Workspace;Defined in: packages/sdk/src/workspace-service.ts:134
The workspace whose properties are being edited.
workspaces
workspaces: WorkspaceService;Defined in: packages/sdk/src/workspace-service.ts:141
The workspace service — read workspace state and subscribe to changes. Persist the page's own settings via ctx.storage.workspace, applying them immediately on change (the properties modal has no Save button — every field persists as it changes).
refresh?
optional refresh?: () => void;Defined in: packages/sdk/src/workspace-service.ts:148
Force a re-render of this tab's content. The host never persists extension state — the extension owns that via ctx.storage.workspace — but after an out-of-band change (e.g. a background poll updating what the page displays) call this to refresh the mounted component.
Returns
void