HideManager

---

Object Hierarchy:

Description:

Content:

Properties:

• public DockController controller { construct; }
• public bool Hidden { get; }
  If the dock is currently hidden.
• public bool Disabled { get; }
  If hiding the dock is currently disabled
• public bool Hovered { get; }
  If the dock is currently hovered by the mouse cursor.

Creation methods:

• public HideManager (DockController controller)
  Creates a new instance of a HideManager, which handles checking if a dock should hide or not.

Methods:

• public void initialize ()
  Initializes the hide manager. Call after the DockWindow is constructed.
• public void update_hovered ()
  Checks to see if the dock is being hovered by the mouse cursor.
• public void update_hovered_with_coords (int x, int y)
  Checks to see if the dock is being hovered by the mouse cursor.
• public void update_barrier ()

Inherited Members: