set_position


Description:

public void set_position (int position)

Sets the position of the divider between the two panes.

Parameters:

this

a `GtkPaned` widget

position

pixel position of divider, a negative value means that the position is unset




2022 vala-language.org