JAL-3541 selectively merged build.gradle and gradle.properties

[jalview.git] / src / jalview / jbgui / GSplitFrame.java

diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java
index 2c618ba..a75760d 100644 (file)
--- 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);
     }
   }