From 30f3c01a67471abf802dff410b7fa642974e535c Mon Sep 17 00:00:00 2001 From: glopesdev Date: Wed, 17 May 2023 08:14:27 +0100 Subject: [PATCH] Ensure webview size is set correctly on resize --- Bonsai.Editor/GraphView/WorkflowEditorControl.cs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Bonsai.Editor/GraphView/WorkflowEditorControl.cs b/Bonsai.Editor/GraphView/WorkflowEditorControl.cs index 969db7b8..74ac2adc 100644 --- a/Bonsai.Editor/GraphView/WorkflowEditorControl.cs +++ b/Bonsai.Editor/GraphView/WorkflowEditorControl.cs @@ -71,7 +71,7 @@ public int WebViewSize set { splitContainer.SplitterDistance = value; - splitContainer.Panel1MinSize = splitContainer.SplitterDistance / 2; + splitContainer.Panel1MinSize = value / 2; } } @@ -277,8 +277,8 @@ protected override void OnLoad(EventArgs e) protected override void OnSizeChanged(EventArgs e) { - EnsureWebViewSize(); base.OnSizeChanged(e); + EnsureWebViewSize(); } protected override void OnKeyDown(KeyEventArgs e)