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.

Parameters:

this

a `GtkListBox`
placeholder

a `GtkWidget`