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

diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java
index 2c618ba..ed715c8 100644
--- a/src/jalview/jbgui/GSplitFrame.java
+++ b/src/jalview/jbgui/GSplitFrame.java
@@ -20,6 +20,7 @@
  */
 package jalview.jbgui;
 
+import jalview.bin.Jalview;
 import jalview.util.Platform;
 
 import java.awt.Component;
@@ -57,6 +58,7 @@ public class GSplitFrame extends JInternalFrame
    */
   public GSplitFrame(GAlignFrame top, GAlignFrame bottom)
   {
+    setName(Jalview.getAppID("splitframe"));
     this.topFrame = top;
     this.bottomFrame = bottom;
 
@@ -102,7 +104,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 +113,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);
     }
   }