Interface DocumentHeaderProps

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