[ CCode ( has_construct_function = false , type = "GtkWidget*" ) ]
[ Version ( deprecated = true , deprecated_since = "3.6" ) ]
public DockPlaceholder (string name, DockObject object, DockPlacement position, bool sticky)
Warning: DockPlaceholder is deprecated since 3.6.