import { ActionButton, Notification } from "../types"; function prettyName(s: string | undefined): string { if (!s) { return ""; } return s.replaceAll("/", " / "); } export function TopBar({ pageName, unsavedChanges, notifications, actionButtons, onClick, lhs, rhs, }: { pageName?: string; unsavedChanges: boolean; notifications: Notification[]; actionButtons: ActionButton[]; onClick: () => void; lhs?: React.ReactNode; rhs?: React.ReactNode; }) { return (