set_position

Description:

public void set_position (int position)

Sets the position of the divider between the two panes.

Parameters:

this

a `GtkPaned` widget
position

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