Pager

---

Object Hierarchy:

Description:

Content:

Creation methods:

• public Pager (Screen screen)
  Creates a new Pager.

Methods:

• public virtual void pad1 ()
• public virtual void pad2 ()
• public virtual void pad3 ()
• public virtual void pad4 ()
• 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_screen (Screen screen)
• 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.

Inherited Members: