DockTablabel

---

Object Hierarchy:

Description:

Content:

Properties:

• public DockItem item { owned get; set; }

Creation methods:

• public DockTablabel (DockItem item)
  Creates a new GDL tab label widget.

Methods:

• public void activate ()
  Set the widget in "activated" state.
• public void deactivate ()
  Set the widget in "deactivated" state.

Signals:

• public virtual signal void button_pressed_handle (Event event)
  This signal is emitted when the user clicks on the label.

Fields:

• public bool active
• public uint drag_handle_size
• public unowned EventButton drag_start_event
• public unowned Window event_window
• public bool pre_drag

Inherited Members: