DockRenderer

---

Object Hierarchy:

Description:

Content:

Properties:

• public DockController controller { construct; }
• public double hide_progress { get; }
• public Point local_cursor { get; }
• public DockTheme theme { get; }
• public double zoom_in_progress { get; }

Creation methods:

• public DockRenderer (DockController controller, Window window)

Methods:

• public void animate_items (List<DockElement> elements)
• protected override bool animation_needed (int64 frame_time)
• public override void draw (Context cr, int64 frame_time)
• public void initialize ()
• protected override void initialize_frame (int64 frame_time)
• public void reset_buffers ()
• public void update_local_cursor (int x, int y)

Inherited Members: