set_child

Description:

public void set_child (Widget? child)

Sets the child widget of this.

Parameters:

this	a `GtkOverlay`
child	the child widget