Interface HeaderProps

src/components/Header.tsx:12–45

import type { ProcessedMarket } from "@/types";

interface HeaderProps {
  lastRefresh: string | null;
  dataMode: "live" | "sample";
  loading: boolean;
  onRefresh: () => void;
  marketCount: number;
  globalCount: number;
  lastSyncTime?: string | null;
  onOpenSettings: () => void;
  watchedCount?: number;
  alertUnreadCount?: number;
  autoRefresh?: boolean;
  refreshError?: boolean;
  onTrade?: (state: import("./TradeModal").TradeModalState) => void;
  onTradePosition?: (title: string, outcome: string) => void;
  // Alert manager props
  alertManagerOpen?: boolean;
  onOpenAlertManager?: () => void;
  onCloseAlertManager?: () => void;
  alertProps?: {
    alerts: AlertConfig[];
    history: AlertHistoryEntry[];
    onAddAlert: (config: Omit<AlertConfig, "id" | "createdAt" | "enabled">) => void;
    onRemoveAlert: (id: string) => void;
    onToggleAlert: (id: string) => void;
    onMarkRead: (id: string) => void;
    onMarkAllRead: () => void;
    onClearHistory: () => void;
    allMarkets: ProcessedMarket[];
    prefill?: { marketId?: string; marketTitle?: string };
    notifPermission: NotificationPermission;
    onRequestPermission: () => void;
  };
}

function getRelativeTime(iso: string): { text: string; stale: boolean } {
  const diff = Date.now() - new Date(iso).getTime();