JAL-3253-applet headless branch - just experimenting.

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

diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java
index 2c618ba..770845f 100644 (file)
--- 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;
 
@@ -70,15 +72,15 @@ public class GSplitFrame extends JInternalFrame
    */
   protected void addSplitPane()
   {
-    splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topFrame,
-            bottomFrame);
+    splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topFrame.getIFrame(),
+            bottomFrame.getIFrame());
     splitPane.setVisible(true);
 
     /*
      * set divider split at 50:50, or restore saved split if loading from
      * project
      */
-    int topFrameHeight = topFrame.getHeight();
+    int topFrameHeight = topFrame.getIFrame().getHeight();
     splitPane.setDividerSize(DIVIDER_SIZE);
     if (topFrameHeight == 0)
     {
@@ -102,17 +104,20 @@ 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);
+      topFrame.getIFrame().putClientProperty("JInternalFrame.isPalette", true);
       // topFrame.getRootPane().putClientProperty("Window.style", "small");
-      bottomFrame.putClientProperty("JInternalFrame.isPalette", true);
+      bottomFrame.getIFrame().putClientProperty("JInternalFrame.isPalette",
+              true);
     }
     else
     {
-      ((BasicInternalFrameUI) topFrame.getUI()).setNorthPane(null);
-      ((BasicInternalFrameUI) bottomFrame.getUI()).setNorthPane(null);
+      ((BasicInternalFrameUI) topFrame.getIFrame().getUI())
+              .setNorthPane(null);
+      ((BasicInternalFrameUI) bottomFrame.getIFrame().getUI())
+              .setNorthPane(null);
     }
   }