patch: apply somehow - make double click on splitter reset to default proportions

platform/diff-impl/src/com/intellij/diff/tools/util/DiffSplitter.java

@@ -41,6 +41,12 @@ public class DiffSplitter extends Splitter {
   @Nullable private AnAction myBottomAction;
 
   public DiffSplitter() {
+     this(.5f);
+  }
+
+  public DiffSplitter(float proportion) {
+    super(false, proportion);
+    setDefaultProportion(proportion);
     setDividerWidth(JBUI.scale(30));
   }
 

platform/util/src/com/intellij/openapi/ui/Splitter.java

@@ -57,6 +57,7 @@ public class Splitter extends JPanel implements Splittable {
   private final float myMaxProp;
 
 
+  protected float myDefaultProportion = .5f;
   protected float myProportion;// first size divided by (first + second)
 
   protected final Divider myDivider;
@@ -385,6 +386,14 @@ public class Splitter extends JPanel implements Splittable {
     repaint();
   }
 
+  public void setDefaultProportion(float value) {
+    myDefaultProportion = value;
+  }
+
+  public void resetProportion() {
+    setProportion(myDefaultProportion);
+  }
+
   /**
    * Swaps components.
    */
@@ -570,7 +579,7 @@ public class Splitter extends JPanel implements Splittable {
         new ClickListener() {
           @Override
           public boolean onClick(@NotNull MouseEvent e, int clickCount) {
-            setProportion(.5f);
+            resetProportion();
             return true;
           }
         }.installOn(splitCenterlabel);
@@ -640,7 +649,7 @@ public class Splitter extends JPanel implements Splittable {
           Splitter.this.setOrientation(!Splitter.this.getOrientation());
         }
         if (myResizeEnabled && e.getClickCount() == 2) {
-          Splitter.this.setProportion(.5f);
+          resetProportion();
         }
       }
     }

platform/vcs-impl/src/com/intellij/openapi/vcs/changes/patch/tool/ApplyPatchMergeViewer.java

@@ -97,8 +97,7 @@ class ApplyPatchMergeViewer implements MergeTool.MergeViewer {
     patchPanel.add(myViewer.getPatchTitle(), BorderLayout.NORTH);
 
 
-    myPatchSplitter = new DiffSplitter();
-    myPatchSplitter.setProportion(2f / 3);
+    myPatchSplitter = new DiffSplitter(2f / 3);
     myPatchSplitter.setFirstComponent(myViewer.getComponent());
     myPatchSplitter.setSecondComponent(patchPanel);
     myPatchSplitter.setHonorComponentsMinimumSize(false);