Pager

---

Object Hierarchy:

Description:

Content:

Properties:

• public bool edge_previews { get; set; }
• public Actor page_actor { owned get; set; }
• public uint page_num { get; set; }

Creation methods:

• public Pager ()

Methods:

• public unowned Actor get_actor_for_page (uint page)
• public uint get_current_page ()
• public unowned Actor get_current_page_actor ()
• public bool get_edge_previews ()
• public uint get_n_pages ()
• public void insert_page (Actor child, int position)
  Inserts a page into the Pager at the position specified by position.
• public void next ()
  Move to the next page.
• public void previous ()
  Move to the previous page.
• public void set_current_page (uint page, bool animate)
  Move to page.
• public void set_current_page_by_actor (Actor actor, bool animate)
  Move to the page containing actor.
• public void set_edge_previews (bool edge_previews)
  Sets the edge_previews property.

Inherited Members: