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()
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
gtk_paned_add1
protected static final void gtk_paned_add1(Handle paned,
Handle child)
gtk_paned_add2
protected static final void gtk_paned_add2(Handle paned,
Handle child)
gtk_paned_get_child1
protected static final Handle gtk_paned_get_child1(Handle paned)
gtk_paned_get_child2
protected static final Handle gtk_paned_get_child2(Handle paned)
gtk_paned_get_position
protected static final int gtk_paned_get_position(Handle paned)
gtk_paned_get_type
protected static final int gtk_paned_get_type()
gtk_paned_pack1
protected static final void gtk_paned_pack1(Handle paned,
Handle child,
boolean resize,
boolean shrink)
gtk_paned_pack2
protected static final void gtk_paned_pack2(Handle paned,
Handle child,
boolean resize,
boolean shirnk)
gtk_paned_set_position
protected static final void gtk_paned_set_position(Handle paned,
int position)
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.