max_position

The largest possible value for the [property@Gtk.

Paned:position] property.

This property is derived from the size and shrinkability of the widget's children.