gtk:paned-max-position (object)

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

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