From f8c740a317eedba88c87505d6a652b6525ad828b Mon Sep 17 00:00:00 2001 From: Henning Dieterichs Date: Sun, 19 Nov 2023 14:55:15 +0100 Subject: [PATCH] Fixes --- webview/src/components/GUI.tsx | 3 +- webview/src/hotComponent.tsx | 3 +- yarn.lock | 915 ++++++++++++++++++--------------- 3 files changed, 491 insertions(+), 430 deletions(-) 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 ? (
- +
) : (