From cd279db9fb13de4ac17c91c05d4ba894667ddd6a Mon Sep 17 00:00:00 2001
From: "Vassiliy.Kudryashov" <Vassiliy.Kudryashov@jetbrains.com>
Date: Thu, 18 Dec 2014 15:53:46 +0300
Subject: [PATCH] Fix splitter proportion (take divider size into account, it
 may be ~30px in Diff panel)

---
 platform/util/src/com/intellij/openapi/ui/Splitter.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platform/util/src/com/intellij/openapi/ui/Splitter.java b/platform/util/src/com/intellij/openapi/ui/Splitter.java
index ca0ea83c7fe1..cfc13f42d578 100644
--- a/platform/util/src/com/intellij/openapi/ui/Splitter.java
+++ b/platform/util/src/com/intellij/openapi/ui/Splitter.java
@@ -57,7 +57,7 @@ public class Splitter extends JPanel {
   private final float myMaxProp;
 
 
-  protected float myProportion;// first size divided by total size
+  protected float myProportion;// first size divided by (first + second)
 
   private final Divider myDivider;
   private JComponent mySecondComponent;
@@ -261,7 +261,7 @@ public class Splitter extends JPanel {
         d = total;
       }
       else {
-        size1 = myProportion * total;
+        size1 = myProportion * (total - d);
         double size2 = total - size1 - d;
 
         if (isHonorMinimumSize()) {