Gtk.Paned.get_position – gtk+-3.0 Reference Manual
get_position
Description:
public
int
get_position
()
Obtains the position of the divider between the two panes.
Parameters:
this
a
Paned
widget
Returns:
position of the divider
2022 vala-language.org