Workspace

---

Object Hierarchy:

Description:

Content:

Creation methods:

• protected Workspace ()

Methods:

• public void activate (uint32 timestamp)
  Asks the window manager to make this the active workspace.
• public void change_name (string name)
  Changes the name of this.
• public int get_height ()
  Gets the height of this.
• public int get_layout_column ()
  Gets the column of this in the Workspace layout.
• public int get_layout_row ()
  Gets the row of this in the Workspace layout.
• public unowned string get_name ()
  Gets the human-readable name that should be used to refer to this.
• public unowned Workspace get_neighbor (MotionDirection direction)
  Gets the neighbor Workspace of this in the direction direction.
• public int get_number ()
  Gets the index of this on the Screen to which it belongs.
• public unowned Screen get_screen ()
  Gets the Screen this is on.
• public int get_viewport_x ()
  Gets the X coordinate of the viewport in this.
• public int get_viewport_y ()
  Gets the Y coordinate of the viewport in this.
• public int get_width ()
  Gets the width of this.
• public bool is_virtual ()
  Gets whether this contains a viewport.
• public virtual void pad1 ()
• public virtual void pad2 ()
• public virtual void pad3 ()
• public virtual void pad4 ()

Signals:

• public virtual signal void name_changed ()
  Emitted when the name of space changes.

Inherited Members: