Paginator

---

Object Hierarchy:

Description:

Content:

Properties:

• public bool allow_mouse_drag { get; set; }
  Sets whether the Paginator can be dragged with mouse pointer.
• public uint animation_duration { get; set; }
  Animation duration in milliseconds, used by scroll_to.
• public bool center_content { get; set; }
  Whether the Paginator is centering pages.
• public uint indicator_spacing { get; set; }
  Spacing between content and page indicators.
• public PaginatorIndicatorStyle indicator_style { get; set; }
  The style of page indicators.
• public bool interactive { get; set; }
  Whether self can be navigated.
• public uint n_pages { get; }
  The number of pages in a Paginator
• public double position { get; }
  Current scrolling position, unitless.
• public uint spacing { get; set; }
  Spacing between pages in pixels.

Creation methods:

• public Paginator ()
  Create a new Paginator widget.

Methods:

• public bool get_allow_mouse_drag ()
  Sets whether this can be dragged with mouse pointer
• public uint get_animation_duration ()
  Gets animation duration used by scroll_to.
• public bool get_center_content ()
  Sets whether this is centering pages.
• public uint get_indicator_spacing ()
  Gets spacing between content and page indicators.
• public PaginatorIndicatorStyle get_indicator_style ()
  Gets the current page indicator style.
• public bool get_interactive ()
  Gets whether this can be navigated.
• public uint get_n_pages ()
  Gets the number of pages in this.
• public double get_position ()
  Gets current scroll position in this.
• public uint get_spacing ()
  Gets spacing between pages in pixels.
• public void insert (Widget child, int position)
  Inserts child into this at position position.
• public void prepend (Widget child)
  Prepends child to this
• public void reorder (Widget child, int position)
  Moves child into position position.
• public void scroll_to (Widget widget)
  Scrolls to widget position with an animation.
• public void scroll_to_full (Widget widget, int64 duration)
  Scrolls to widget position with an animation.
• public void set_allow_mouse_drag (bool allow_mouse_drag)
  Sets whether this can be dragged with mouse pointer.
• public void set_animation_duration (uint duration)
  Sets animation duration used by scroll_to.
• public void set_center_content (bool center_content)
  Sets whether this is centering content.
• public void set_indicator_spacing (uint spacing)
  Sets spacing between content and page indicators.
• public void set_indicator_style (PaginatorIndicatorStyle style)
  Sets style of page indicators.
• public void set_interactive (bool interactive)
  Sets whether this can be navigated.
• public void set_spacing (uint spacing)
  Sets spacing between pages in pixels.

Signals:

• public signal void page_changed (uint index)
  This signal is emitted after a page has been changed.

Inherited Members: