Interface DocumentHeaderProps

interface DocumentHeaderProps {
    collaborationEnabled: boolean;
    collaborationStatus: CollaborationStatus;
    documentRuntime: RuntimeJSON | null;
    isTerminatingRuntime: boolean;
    onStopRuntime: () => void;
    onToggleCollaboration: () => void;
    runtimeError: string | null;
    selectedDocument: DocumentData;
    serviceManager: IManager | null;
}