DockPlaceholder

---

Object Hierarchy:

Description:

Content:

Properties:

• public bool floating { get; construct; }
• public int floatx { get; construct; }
• public int floaty { get; construct; }
• public int height { get; set construct; }
• public DockObject host { owned get; set; }
• public DockPlacement next_placement { get; set; }
• public bool sticky { get; construct; }
• public int width { get; set construct; }

Creation methods:

• public DockPlaceholder (string name, DockObject object, DockPlacement position, bool sticky)
  Creates a new dock placeholder at object place.

Methods:

• public void attach (DockObject object)
  Move the placeholder to the position of object.

Inherited Members: