X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGSplitFrame.java;h=a75760da69a17e78bfb5730cd84f4cfe75b58a69;hb=3b2dd110a9283ae50db9302c8cc22ab4aec7a199;hp=7c4dcf38b9cd81feb25509f484c1c888bd8589d2;hpb=c8ae8ef3f6365ea5664930f3139fa4871eb188c2;p=jalview.git

diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java
index 7c4dcf3..a75760d 100644
--- a/src/jalview/jbgui/GSplitFrame.java
+++ b/src/jalview/jbgui/GSplitFrame.java
@@ -57,6 +57,7 @@ public class GSplitFrame extends JInternalFrame
    */
   public GSplitFrame(GAlignFrame top, GAlignFrame bottom)
   {
+    setName("jalview-splitframe");
     this.topFrame = top;
     this.bottomFrame = bottom;
 
@@ -102,7 +103,7 @@ public class GSplitFrame extends JInternalFrame
    */
   protected void hideTitleBars()
   {
-    if (new Platform().isAMac())
+    if (Platform.isAMacAndNotJS())
     {
       // this saves some space - but doesn't hide the title bar
       topFrame.putClientProperty("JInternalFrame.isPalette", true);
@@ -111,8 +112,8 @@ public class GSplitFrame extends JInternalFrame
     }
     else
     {
-      ((BasicInternalFrameUI) topFrame.getUI()).setNorthPane(null);
-      ((BasicInternalFrameUI) bottomFrame.getUI()).setNorthPane(null);
+	    ((BasicInternalFrameUI) topFrame.getUI()).setNorthPane(null);
+	    ((BasicInternalFrameUI) bottomFrame.getUI()).setNorthPane(null);
     }
   }
 
@@ -153,7 +154,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 +175,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)