Line data    Source code

       1              : import * as React from 'react';
       2              : 
       3              : import { useSessionScriptsRegistry } from './scripts/session_scripts_registry.js';
       4              : 
       5              : /// The name of a session, its id if it has none
       6            0 : export function SessionName(props: { sessionId: string }): React.ReactElement {
       7            0 :     const [scriptsRegistry] = useSessionScriptsRegistry();
       8            0 :     return <>{scriptsRegistry.sessionScriptsMap.get(props.sessionId)?.name?.trim() || props.sessionId}</>;
       9            0 : }
      10              : 
      11              : /// Render the name of a session
      12            1 : export const renderSessionName = (sessionId: string) => <SessionName sessionId={sessionId} />;