X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGSplitFrame.java;fp=src%2Fjalview%2Fjbgui%2FGSplitFrame.java;h=db346b8c0acc236d371d53e0bab926fddd5cc008;hb=2810f6cc6d3d820dde63b324efb1c8119ec2a818;hp=a40e260c31a6803c4cf4626b3f330c346fc44a3e;hpb=c8fa8a8916f70196f3a687e6403ac4889771da77;p=jalview.git diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java index a40e260..db346b8 100644 --- a/src/jalview/jbgui/GSplitFrame.java +++ b/src/jalview/jbgui/GSplitFrame.java @@ -49,6 +49,8 @@ public class GSplitFrame extends JInternalFrame */ private double dividerRatio; + private static boolean doSetDivider = !Platform.isJS(); // BH why? Old? + /** * Constructor * @@ -79,11 +81,7 @@ public class GSplitFrame extends JInternalFrame * project */ int topFrameHeight = topFrame.getHeight(); - /** - * TODO SplitFrame.setDividerLocation - * - * @j2sNative - */ + if (doSetDivider) { splitPane.setDividerSize(DIVIDER_SIZE); if (topFrameHeight == 0) @@ -118,9 +116,7 @@ public class GSplitFrame extends JInternalFrame } else { - /** - * @j2sNative - */ + if (doSetDivider) { ((BasicInternalFrameUI) topFrame.getUI()).setNorthPane(null); ((BasicInternalFrameUI) bottomFrame.getUI()).setNorthPane(null); @@ -212,9 +208,8 @@ public class GSplitFrame extends JInternalFrame public void setRelativeDividerLocation(double r) { this.dividerRatio = r; - /** - * @j2sNative - */ + // BH why? + if (!Platform.isJS()) { splitPane.setDividerLocation(r); } @@ -227,9 +222,7 @@ public class GSplitFrame extends JInternalFrame */ protected void setDividerLocation(int p) { - /** - * @j2sNative - */ + if (doSetDivider ) { splitPane.setDividerLocation(p); }