add_child

Description:

public void add_child (Widget widget)

Adds a widget to the content area of the info bar.

Parameters:

this

a `GtkInfoBar`
widget

the child to be added