import React from 'react'; import { Button, CircularProgress, Tooltip } from '@mui/material'; import GifIcon from '@mui/icons-material/Gif'; interface DownloadGifButtonProps { isGenerating: boolean; onClick: () => void; disabled?: boolean; } /** * Button to download a GIF replay of the trace */ export const DownloadGifButton: React.FC = ({ isGenerating, onClick, disabled = false, }) => { return ( ); };