import type { ReactElement } from 'react';
import type { WorkbenchHost, WorkbenchLanguage, WorkbenchLocation, WorkbenchNavigationOptions, WorkbenchPreferences, WorkbenchTheme } from './workbench-contract.js';
export type { ProjectChangeEvent, WorkbenchHost, WorkbenchLanguage, WorkbenchLocation, WorkbenchNavigationOptions, WorkbenchNotification, WorkbenchPreferences, WorkbenchTheme, WorkbenchView, } from './workbench-contract.js';
export interface OpenFlowWorkbenchProps {
    readonly host: WorkbenchHost;
    readonly language: WorkbenchLanguage;
    readonly location: WorkbenchLocation;
    readonly onLanguageChange?: ((language: WorkbenchLanguage) => void) | undefined;
    readonly onNavigate: (location: WorkbenchLocation, options: WorkbenchNavigationOptions) => void;
    readonly preferences: WorkbenchPreferences;
    readonly sessionKey: string;
    readonly theme: WorkbenchTheme;
}
export declare function OpenFlowWorkbench({ sessionKey, ...props }: OpenFlowWorkbenchProps): ReactElement;