import React, { useState, useEffect } from "react"; import { use } from "../../ui/Context"; import { getAvailableCreatePrograms } from "../ProgramHelpers"; import { Box, ButtonGroup, Tooltip, Typography } from "@mui/material"; import Button from "@mui/material/Button"; export function ProgramsRoot(): React.ReactElement { const player = use.Player(); const router = use.Router(); const setRerender = useState(false)[1]; function rerender(): void { setRerender((old) => !old); } useEffect(() => { const id = setInterval(rerender, 1000); return () => clearInterval(id); }, []); return ( <>