DockPlaceholder

Description:

[ CCode ( has_construct_function = false , type = "GtkWidget*" ) ]
public DockPlaceholder (string name, DockObject object, DockPlacement position, bool sticky)

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.