DockPlaceholder

Description:

[ 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.

Creates a new dock placeholder at object place.

This is a kind of marker allowing you to dock new items later at this place. It is not completely working though.

Parameters:

name	Unique name for identifying the dock object.
object	Corresponding DockObject
position	The position to dock a new item in `object`
sticky	`true` if the placeholder move with the `object`

Returns:

The newly created placeholder.