*/
private double dividerRatio;
+ private static boolean doSetDivider = !Platform.isJS(); // BH why? Old?
+
/**
* Constructor
*
* project
*/
int topFrameHeight = topFrame.getHeight();
- /**
- * TODO SplitFrame.setDividerLocation
- *
- * @j2sNative
- */
+ if (doSetDivider)
{
splitPane.setDividerSize(DIVIDER_SIZE);
if (topFrameHeight == 0)
}
else
{
- /**
- * @j2sNative
- */
+ if (doSetDivider)
{
((BasicInternalFrameUI) topFrame.getUI()).setNorthPane(null);
((BasicInternalFrameUI) bottomFrame.getUI()).setNorthPane(null);
public void setRelativeDividerLocation(double r)
{
this.dividerRatio = r;
- /**
- * @j2sNative
- */
+ // BH why?
+ if (!Platform.isJS())
{
splitPane.setDividerLocation(r);
}
*/
protected void setDividerLocation(int p)
{
- /**
- * @j2sNative
- */
+ if (doSetDivider )
{
splitPane.setDividerLocation(p);
}