/* Copyright 2026 Marimo. All rights reserved. */ import React, { type PropsWithChildren } from "react"; import { type ConnectionStatus, WebSocketState } from "@/core/websocket/types"; import { Disconnected } from "../Disconnected"; interface Props { className?: string; connection: ConnectionStatus; } export const AppHeader: React.FC> = ({ connection, className, children, }) => { return (
{children} {connection.state === WebSocketState.CLOSED && ( )}
); };