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