package de.unisiegen.gtitool.ui.swing;
import java.awt.Component;
import javax.swing.JComponent;
import javax.swing.JSplitPane;
/**
* Special {@link JSplitPane}.
*
* @author Christian Fehler
* @version $Id$
*/
public class JGTISplitPane extends JSplitPane
{
/**
* The serial version uid.
*/
private static final long serialVersionUID = -6298434809326827175L;
/**
* Allocates a new {@link JGTISplitPane}.
*/
public JGTISplitPane ()
{
super ();
init ();
}
/**
* Allocates a new {@link JGTISplitPane}.
*
* @param newOrientation The new orientation.
*/
public JGTISplitPane ( int newOrientation )
{
super ( newOrientation );
init ();
}
/**
* Allocates a new {@link JGTISplitPane}.
*
* @param newOrientation The new orientation.
* @param newContinuousLayout The new continuous layout.
*/
public JGTISplitPane ( int newOrientation, boolean newContinuousLayout )
{
super ( newOrientation, newContinuousLayout );
init ();
}
/**
* Allocates a new {@link JGTISplitPane}.
*
* @param newOrientation The new orientation.
* @param newContinuousLayout The new continuous layout.
* @param newLeftComponent The new left component.
* @param newRightComponent The new right component.
*/
public JGTISplitPane ( int newOrientation, boolean newContinuousLayout,
Component newLeftComponent, Component newRightComponent )
{
super ( newOrientation, newContinuousLayout, newLeftComponent,
newRightComponent );
init ();
}
/**
* Allocates a new {@link JGTISplitPane}.
*
* @param newOrientation The new orientation.
* @param newLeftComponent The new left component.
* @param newRightComponent The new right component.
*/
public JGTISplitPane ( int newOrientation, Component newLeftComponent,
Component newRightComponent )
{
super ( newOrientation, newLeftComponent, newRightComponent );
init ();
}
/**
* Initializes this {@link JComponent}.
*/
private final void init ()
{
setDividerSize ( 3 );
setContinuousLayout ( false );
setBorder ( null );
}
}