set_extra_child


Description:

public void set_extra_child (Widget? child)

Sets the child widget of this.

The child widget is displayed below the heading and body.

Parameters:

this

a message dialog

child

the child widget