Skip to content

Commit

Permalink
Fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
hediet committed Nov 19, 2023
1 parent 8b4fc34 commit f8c740a
Show file tree
Hide file tree
Showing 3 changed files with 491 additions and 430 deletions.
3 changes: 2 additions & 1 deletion webview/src/components/GUI.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -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 (
<div
Expand All @@ -94,7 +95,7 @@ export class VisualizerHeaderMain extends React.Component<{ model: Model }> {
{!m.isPolling &&
(m.loading ? (
<div style={{ padding: "0 4px" }}>
<Spinner size={Spinner.SIZE_SMALL} />
<Spinner_ size={Spinner.SIZE_SMALL} />
</div>
) : (
<Button minimal small className="part-Icon" icon="refresh" onClick={() => m.refresh()} />
Expand Down
3 changes: 2 additions & 1 deletion webview/src/hotComponent.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,8 @@ export function hotComponent(

return observer((props: any) => {
const C = result!.component;
return <C {...props} />;
const C_ = C as any; // WTF typescript/yarn??
return <C_ {...props} />;
}) as any;
};
}

0 comments on commit f8c740a

Please sign in to comment.