set_end_child


Description:

public void set_end_child (Widget? child)

Sets the end child of this to child.

If child is `NULL`, the existing child will be removed.

Parameters:

this

a `GtkPaned`

child

the widget to add




2022 vala-language.org