set_position


Description:

public void set_position (int position)

Sets the position of the divider between the two panes.

Parameters:

this

a Paned widget

position

pixel position of divider, a negative value means that the position is unset.