From 4370637d3d4d3a50ddb9c22b27debc45f5e883fc Mon Sep 17 00:00:00 2001 From: Henning Dieterichs Date: Sun, 29 Mar 2020 15:07:18 +0200 Subject: [PATCH] Adds missing observable. --- webview/src/components/GUI.tsx | 1 + 1 file changed, 1 insertion(+) 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;