import { MouseEvent } from "react"; import { WithTooltip } from "./Tooltip"; export default function RefreshButton() { const refresh = (event: MouseEvent) => { const btn = event.currentTarget as HTMLButtonElement; btn.disabled = true; const request = new XMLHttpRequest(); request.onload = () => { if (request.status === 200) { window.location.reload(); } }; request.open( "GET", process.env.NODE_ENV === "production" ? "/refresh" : `http://${window.location.hostname}:8000/refresh`, ); request.send(); }; return ( ); }