set_placeholder

Description:

public void set_placeholder (Widget? placeholder)

Sets the placeholder widget that is shown in the list when it doesn't display any visible children.

this	a `GtkListBox`
placeholder	a `GtkWidget`