gtk:paned-max-position (object)

object -- a gtk:paned widget
position -- an integer for the largest possible position

The accessor for the max-position slot of the gtk:paned class gets the largest possible value for the position property.