From cb5592b153be9e78f4a4244e2f1f2a5f4cf3b224 Mon Sep 17 00:00:00 2001
From: irengrig <Irina.Chernushina@jetbrains.com>
Date: Wed, 22 Feb 2012 19:14:46 +0400
Subject: [PATCH] VCS: correctly restore details splitter position

---
 platform/util/src/com/intellij/openapi/ui/PseudoSplitter.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/util/src/com/intellij/openapi/ui/PseudoSplitter.java b/platform/util/src/com/intellij/openapi/ui/PseudoSplitter.java
index 34debeed1858..2e3f80c710e3 100644
--- a/platform/util/src/com/intellij/openapi/ui/PseudoSplitter.java
+++ b/platform/util/src/com/intellij/openapi/ui/PseudoSplitter.java
@@ -52,7 +52,7 @@ public class PseudoSplitter extends Splitter {
   public void fixFirst(final float proportion) {
     assert getFirstComponent() != null;
     int comp = getSizeForComp(this);
-    myFirstFixedSize = (int)(comp * proportion);
+    myFirstFixedSize = (int)(comp * proportion - getDividerWidth());
     myFirstIsFixed = true;
     mySecondIsFixed = false;
   }