From 69f26cb21cf525fc149cacdc50858774a262068a Mon Sep 17 00:00:00 2001
From: Yuto Terada <lugongdao07@gmail.com>
Date: Thu, 31 Oct 2024 16:43:29 +0900
Subject: [PATCH] fix: validation error

---
 src/ReDocking/HorizontallySplittedView.cs |  2 +-
 src/ReDocking/ReDock.cs                   | 10 +++++-----
 src/ReDocking/VerticallySplittedView.cs   |  2 +-
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/ReDocking/HorizontallySplittedView.cs b/src/ReDocking/HorizontallySplittedView.cs
index 074167f..24cd1e3 100644
--- a/src/ReDocking/HorizontallySplittedView.cs
+++ b/src/ReDocking/HorizontallySplittedView.cs
@@ -275,7 +275,7 @@ private void UpdateSize(Size size)
             _thumb.Margin = new Thickness(leftWidth - ThumbPadding, 0, 0, 0);
 
             _rightPresenter.Margin = new Thickness(leftWidth + ThumbPadding, 0, 0, 0);
-            _rightPresenter.Width = rightWidth - ThumbPadding;
+            _rightPresenter.Width = Math.Max(rightWidth - ThumbPadding, 0);
         }
         else
         {
diff --git a/src/ReDocking/ReDock.cs b/src/ReDocking/ReDock.cs
index 701a7d4..f52dea0 100644
--- a/src/ReDocking/ReDock.cs
+++ b/src/ReDocking/ReDock.cs
@@ -330,12 +330,12 @@ private void UpdateSize(Size size)
             _leftThumb.Margin = new Thickness(leftWidth - ThumbPadding, 0, 0, 0);
 
             _presenter.Margin = new Thickness(leftWidth + ThumbPadding, 0, 0, 0);
-            _presenter.Width = centerWidth - ThumbPadding * 2;
+            _presenter.Width = Math.Max(centerWidth - ThumbPadding * 2, 0);
 
             _rightThumb.Margin = new Thickness(leftWidth + centerWidth - ThumbPadding, 0, 0, 0);
 
             _rightPresenter.Margin = new Thickness(leftWidth + centerWidth + ThumbPadding, 0, 0, 0);
-            _rightPresenter.Width = rightWidth - ThumbPadding;
+            _rightPresenter.Width = Math.Max(rightWidth - ThumbPadding, 0);
         }
         else
         {
@@ -347,17 +347,17 @@ private void UpdateSize(Size size)
                 _leftThumb.Margin = new Thickness(leftWidth - ThumbPadding, 0, 0, 0);
 
                 _presenter.Margin = new Thickness(leftWidth + ThumbPadding, 0, 0, 0);
-                _presenter.Width = centerWidth - ThumbPadding + rightWidth;
+                _presenter.Width = Math.Max(centerWidth - ThumbPadding + rightWidth, 0);
             }
             else if (_rightPresenter.IsChildVisible())
             {
                 _presenter.Margin = new Thickness(0, 0, 0, 0);
-                _presenter.Width = leftWidth + centerWidth - ThumbPadding;
+                _presenter.Width = Math.Max(leftWidth + centerWidth - ThumbPadding, 0);
 
                 _rightThumb.Margin = new Thickness(leftWidth + centerWidth - ThumbPadding, 0, 0, 0);
 
                 _rightPresenter.Margin = new Thickness(leftWidth + centerWidth + ThumbPadding, 0, 0, 0);
-                _rightPresenter.Width = rightWidth - ThumbPadding;
+                _rightPresenter.Width = Math.Max(rightWidth - ThumbPadding, 0);
             }
             else
             {
diff --git a/src/ReDocking/VerticallySplittedView.cs b/src/ReDocking/VerticallySplittedView.cs
index fc82e27..31ab0a0 100644
--- a/src/ReDocking/VerticallySplittedView.cs
+++ b/src/ReDocking/VerticallySplittedView.cs
@@ -277,7 +277,7 @@ private void UpdateSize(Size size)
             _thumb.Margin = new Thickness(0, topHeight - ThumbPadding, 0, 0);
 
             _bottomPresenter.Margin = new Thickness(0, topHeight + ThumbPadding, 0, 0);
-            _bottomPresenter.Height = bottomHeight - ThumbPadding;
+            _bottomPresenter.Height = Math.Max(bottomHeight - ThumbPadding, 0);
         }
         else
         {