diff --git a/webview/src/components/GUI.tsx b/webview/src/components/GUI.tsx index 08c4ab1..d9235f9 100644 --- a/webview/src/components/GUI.tsx +++ b/webview/src/components/GUI.tsx @@ -78,6 +78,7 @@ export class VisualizerHeader extends React.Component<{ model: Model }> { @observer export class VisualizerHeaderMain extends React.Component<{ model: Model }> { render() { + const Spinner_ = Spinner as any; // WTF typescript?? const m = this.props.model; return (
{ {!m.isPolling && (m.loading ? (
- +
) : (