diff --git a/webview/src/components/GUI.tsx b/webview/src/components/GUI.tsx index 668754d..3678cbd 100644 --- a/webview/src/components/GUI.tsx +++ b/webview/src/components/GUI.tsx @@ -84,6 +84,7 @@ export class VisualizerHeader extends React.Component<{ model: Model }> { } } +@observer export class VisualizerHeaderMain extends React.Component<{ model: Model }> { render() { const m = this.props.model;