Pager

---

Object Hierarchy:

Description:

Content:

Properties:

• public Handle handle { owned get; construct; }

Creation methods:

• public Pager ()
  Creates a new Pager.
• public Pager.with_handle (Handle handle)
  Creates a new Pager.

Methods:

• public bool get_wrap_on_scroll ()
• public void set_display_mode (PagerDisplayMode mode)
  Sets the display mode for this to mode.
• public bool set_n_rows (int n_rows)
  Tries to change the number of rows in the layout of Workspace on the Screen this is watching.
• public bool set_orientation (Orientation orientation)
  Tries to change the orientation of the layout of Workspace on the Screen this is watching.
• public void set_scroll_mode (PagerScrollMode scroll_mode)
  Sets this to react to input device scrolling in one of the available scroll modes.
• public void set_shadow_type (ShadowType shadow_type)
  Sets the shadow type for this to shadow_type.
• public void set_show_all (bool show_all_workspaces)
  Sets this to display all Workspace or not, according to show_all_workspaces.
• public void set_wrap_on_scroll (bool wrap_on_scroll)
  Sets the wrapping behavior of the this.

Inherited Members: