gtk:paned-min-position (object)

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

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