import { RotateCcwIcon } from "lucide-react"; import type { FC } from "react"; import type { WorkspaceAgent, WorkspaceAgentDevcontainer, } from "#/api/typesGenerated"; import { HelpPopover, HelpPopoverAction, HelpPopoverContent, HelpPopoverLinksGroup, HelpPopoverText, HelpPopoverTitle, HelpPopoverTrigger, } from "#/components/HelpPopover/HelpPopover"; type SubAgentOutdatedTooltipProps = { devcontainer: WorkspaceAgentDevcontainer; agent: WorkspaceAgent; onUpdate: () => void; }; export const SubAgentOutdatedTooltip: FC = ({ devcontainer, agent, onUpdate, }) => { if (!devcontainer.agent || devcontainer.agent.id !== agent.id) { return null; } if (!devcontainer.dirty) { return null; } return ( Outdated
Dev Container Outdated This Dev Container is outdated. This can happen if you modify your devcontainer.json file after the Dev Container has been created. To fix this, you can rebuild the Dev Container.
Rebuild Dev Container
); };