X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fjbgui%2FGSplitFrame.java;h=0549f17da8a909b893afc49b3a8a4edbb4353c65;hb=4c091bec21e4aec8e1784d757d9d466382e61e25;hp=daad4fde305e98b52bef209682b9acd35a2b5575;hpb=b0842a6ddaef0ceb4de3e1534c3772515d4b103d;p=jalview.git

diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java
index daad4fd..0549f17 100644
--- a/src/jalview/jbgui/GSplitFrame.java
+++ b/src/jalview/jbgui/GSplitFrame.java
@@ -33,7 +33,7 @@ import javax.swing.plaf.basic.BasicInternalFrameUI;
 
 public class GSplitFrame extends JInternalFrame
 {
-  private static final int DIVIDER_SIZE = 5;
+  protected static final int DIVIDER_SIZE = 5;
 
   private static final long serialVersionUID = 1L;
 
@@ -79,17 +79,24 @@ public class GSplitFrame extends JInternalFrame
      * project
      */
     int topFrameHeight = topFrame.getHeight();
-    splitPane.setDividerSize(DIVIDER_SIZE);
-    if (topFrameHeight == 0)
-    {
-      setRelativeDividerLocation(0.5d); // as a proportion
-    }
-    else
+    /**
+     * TODO SplitFrame.setDividerLocation
+     * 
+     * @j2sNative
+     */
     {
-      int dividerPosition = topFrameHeight + DIVIDER_SIZE / 2;
-      splitPane.setDividerLocation(dividerPosition); // absolute position
+      splitPane.setDividerSize(DIVIDER_SIZE);
+      if (topFrameHeight == 0)
+      {
+        setRelativeDividerLocation(0.5d); // as a proportion
+      }
+      else
+      {
+        int dividerPosition = topFrameHeight + DIVIDER_SIZE / 2;
+        splitPane.setDividerLocation(dividerPosition); // absolute position
+      }
+      splitPane.setResizeWeight(0.5d);
     }
-    splitPane.setResizeWeight(0.5d);
     add(splitPane);
   }
 
@@ -102,7 +109,7 @@ public class GSplitFrame extends JInternalFrame
    */
   protected void hideTitleBars()
   {
-    if (new Platform().isAMac())
+    if (Platform.isAMac())
     {
       // this saves some space - but doesn't hide the title bar
       topFrame.putClientProperty("JInternalFrame.isPalette", true);
@@ -111,8 +118,13 @@ public class GSplitFrame extends JInternalFrame
     }
     else
     {
-      ((BasicInternalFrameUI) topFrame.getUI()).setNorthPane(null);
-      ((BasicInternalFrameUI) bottomFrame.getUI()).setNorthPane(null);
+      /**
+       * @j2sNative
+       */
+      {
+        ((BasicInternalFrameUI) topFrame.getUI()).setNorthPane(null);
+        ((BasicInternalFrameUI) bottomFrame.getUI()).setNorthPane(null);
+      }
     }
   }
 
@@ -153,7 +165,8 @@ public class GSplitFrame extends JInternalFrame
       return false;
     }
     Point p = comp.getLocationOnScreen();
-    Rectangle r = new Rectangle(p.x, p.y, comp.getWidth(), comp.getHeight());
+    Rectangle r = new Rectangle(p.x, p.y, comp.getWidth(),
+            comp.getHeight());
     return r.contains(loc);
   }
 
@@ -173,8 +186,8 @@ public class GSplitFrame extends JInternalFrame
     else
     {
       this.dividerRatio = splitPane.getDividerLocation()
-              / (double) (splitPane.getHeight() - splitPane
-                      .getDividerSize());
+              / (double) (splitPane.getHeight()
+                      - splitPane.getDividerSize());
     }
 
     if (alignFrame == this.topFrame)
@@ -199,7 +212,12 @@ public class GSplitFrame extends JInternalFrame
   public void setRelativeDividerLocation(double r)
   {
     this.dividerRatio = r;
-    splitPane.setDividerLocation(r);
+    /**
+     * @j2sNative
+     */
+    {
+      splitPane.setDividerLocation(r);
+    }
   }
 
   /**
@@ -209,7 +227,12 @@ public class GSplitFrame extends JInternalFrame
    */
   protected void setDividerLocation(int p)
   {
-    splitPane.setDividerLocation(p);
+    /**
+     * @j2sNative
+     */
+    {
+      splitPane.setDividerLocation(p);
+    }
   }
 
   /**