Paned is the base class for widgets with two panes arranged either
horizontally (HPaned) or vertically (VPaned). The division between the two
children is set by default from the size request of the children but can be
adjusted by the user.
add1
public void add1(Widget child)
Add a child to the top or left pane with default parameters.
child
- The child Widget to add.
add2
public void add2(Widget child)
Add a child to the bottom or right pane with default parameters.
child
- The child Widget to add.
getChild1
public Widget getChild1()
getChild2
public Widget getChild2()
getPaned
public static Paned getPaned(Handle handle)
Internal static factory method to be used by Java-Gnome only.
getPosition
public int getPosition()
Get the position of the divider between the two panes.
- The position of the divider between the two panes.
getType
public static Type getType()
Retrieve the runtime type used by the GLib library.
- getType in interface Container
pack1
public void pack1(Widget child,
boolean resize,
boolean shrink)
Adds a child to the top or left pane.
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.
pack2
public void pack2(Widget child,
boolean resize,
boolean shrink)
Adds a child to the bottom or right pane.
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.
setPosition
public void setPosition(int position)
Set the position of the divider between the two panes.
position
- The pixel position of the divider; a negative value means that
the position is unset.