Screen

---

Object Hierarchy:

Description:

Content:

Static methods:

• public static unowned Screen @get (int index)
  Gets the Screen for a given screen on the default display.
• public static void free_workspace_layout (WorkspaceLayout layout)
  Frees the content of layout.
• public static unowned Screen? get_default ()
  Gets the default Screen on the default display.
• public static unowned Screen get_for_root (ulong root_window_id)
  Gets the Screen for the root window at root_window_id, or null if no Screen exists for this root window.

Creation methods:

• protected Screen ()

Methods:

• public void calc_workspace_layout (int num_workspaces, int space_index, WorkspaceLayout layout)
  Calculates the layout of Workspace, with additional information like the row and column of the Workspace with index space_index.
• public void change_workspace_count (int count)
  Asks the window manager to change the number of Workspace on this.
• public void force_update ()
  Synchronously and immediately updates the list of Window on this.
• public unowned Window get_active_window ()
  Gets the active Window on this.
• public unowned Workspace get_active_workspace ()
  Gets the active Workspace on this.
• public ulong get_background_pixmap ()
  Gets the X window ID of the background pixmap of this.
• public unowned Handle get_handle ()
  Gets the handle.
• public int get_height ()
  Gets the height of this.
• public int get_number ()
  Gets the index of this on the display to which it belongs.
• public unowned Window get_previously_active_window ()
  Gets the previously active Window on this.
• public bool get_showing_desktop ()
  Gets whether this is in the "showing the desktop" mode.
• public int get_width ()
  Gets the width of this.
• public unowned string get_window_manager_name ()
  Gets the name of the window manager.
• public unowned List<Window> get_windows ()
  Gets the list of Window on this.
• public unowned List<Window> get_windows_stacked ()
  Gets the list of Window on this in bottom-to-top order.
• public unowned Workspace get_workspace (int workspace)
  Gets the Workspace numbered workspace on this.
• public int get_workspace_count ()
  Gets the number of Workspace on this.
• public unowned List<Workspace> get_workspaces ()
  Gets the list of Workspace on this.
• public void move_viewport (int x, int y)
  Asks the window manager to move the viewport of the current Workspace on this.
• public bool net_wm_supports (string atom)
  Gets whether the window manager for this supports a certain hint from the Extended Window Manager Hints specification (EWMH).
• public void release_workspace_layout (int current_token)
  Releases the ownership of the layout of Workspace on this.
• public void toggle_showing_desktop (bool show)
  Asks the window manager to set the "showing the desktop" mode on this according to show.
• public int try_set_workspace_layout (int current_token, int rows, int columns)
  Tries to modify the layout of Workspace on this.

Signals:

• public virtual signal void active_window_changed (Window previous_window)
  Emitted when the active window on screen has changed.
• public virtual signal void active_workspace_changed (Workspace previous_workspace)
  Emitted when the active workspace on screen has changed.
• public virtual signal void application_closed (Application app)
  Emitted when a Application is closed on screen.
• public virtual signal void application_opened (Application app)
  Emitted when a new Application is opened on screen.
• public virtual signal void background_changed ()
  Emitted when the background on the root window of screen has changed.
• public virtual signal void class_group_closed (ClassGroup class_group)
  Emitted when a ClassGroup is closed on screen.
• public virtual signal void class_group_opened (ClassGroup class_group)
  Emitted when a new ClassGroup is opened on screen.
• public virtual signal void showing_desktop_changed ()
  Emitted when "showing the desktop" mode of screen is toggled.
• public virtual signal void viewports_changed ()
  Emitted when a viewport position has changed in a Workspace of screen or when a Workspace of screen gets or loses its viewport.
• public virtual signal void window_closed (Window window)
  Emitted when a Window is closed on screen.
• public virtual signal void window_manager_changed ()
  Emitted when the window manager on screen has changed.
• public virtual signal void window_opened (Window window)
  Emitted when a new Window is opened on screen.
• public virtual signal void window_stacking_changed ()
  Emitted when the stacking order of Window on screen has changed.
• public virtual signal void workspace_created (Workspace space)
  Emitted when a Workspace is created on screen.
• public virtual signal void workspace_destroyed (Workspace space)
  Emitted when a Workspace is destroyed on screen.

Inherited Members: