DockController

---

Object Hierarchy:

Description:

Content:

Properties:

• public ArrayList<unowned DockItem> Items { get; }
• public ArrayList<unowned DockItem> VisibleItems { get; }
• public File config_folder { get; construct; }
• public DockItemProvider? default_provider { get; }
• public DragManager drag_manager { get; protected set; }
• public HideManager hide_manager { get; protected set; }
• public HoverWindow hover { get; protected set; }
• public File launchers_folder { get; }
• public string name { get; construct; }
• public PositionManager position_manager { get; protected set; }
• public DockPreferences prefs { get; construct; }
• public DockRenderer renderer { get; protected set; }
• public DockWindow window { get; protected set; }

Creation methods:

• public DockController (string dock_name, File config_folder)

Methods:

• public void add_default_provider ()
• protected override void connect_element (DockElement element)
• protected override void disconnect_element (DockElement element)
• public void initialize ()
• protected override void update_visible_elements ()

Inherited Members: