gtk:paned-position (object)

object -- a gtk:paned widget
position -- an integer for the pixel position of divider, a negative value means that the position is unset

The accessor for the position slot of the gtk:paned class gets or sets the position of the divider between the two panes.