fix: validation error

yuto-trd · Oct 31, 2024 · 69f26cb · 69f26cb
1 parent fb8629e
commit 69f26cb
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git 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
@@ -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
@@ -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
         {