[ Version ( since = "3.10" ) ]
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` |