org.gnu.gtk
public class Paned extends Container
Method Summary | |
---|---|
void | add1(Widget child)
Add a child to the top or left pane with default parameters.
|
void | add2(Widget child)
Add a child to the bottom or right pane with default parameters.
|
Widget | getChild1() |
Widget | getChild2() |
static Paned | getPaned(Handle handle)
Internal static factory method to be used by Java-Gnome only. |
int | getPosition()
Get the position of the divider between the two panes.
|
static Type | getType()
Retrieve the runtime type used by the GLib library. |
void | pack1(Widget child, boolean resize, boolean shrink)
Adds a child to the top or left pane.
|
void | pack2(Widget child, boolean resize, boolean shrink)
Adds a child to the bottom or right pane.
|
void | setPosition(int position)
Set the position of the divider between the two panes.
|
Parameters: child The child Widget to add.
Parameters: child The child Widget to add.
Returns: The position of the divider between the two panes.
Parameters: child The child Widget to add. resize Should this child expand when the widget is resized. shrink can this child be made smaller than its request.
Parameters: child The child Widget to add. resize Should this child expand when the widget is resized. shrink can this child be made smaller than its request.
Parameters: position The pixel position of the divider; a negative value means that the position is unset.