Sets the position of the divider between the two panes.
a `GtkPaned` widget
pixel position of divider, a negative value means that the position is unset