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

diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java
index daad4fd..2c618ba 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;
 
@@ -153,7 +153,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 +174,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)