Next: , Previous: , Up: Workspaces   [Contents][Index]


12.1 Workspace Intervals

While the stack of workspaces conceptually goes from negative infinity to positive infinity, we normally present only the first non-empty workspace through the last non-empty workspace to the user. The non-empty interval is occasionally re-normalized to start with zero.

We typically refer to workspaces with lower IDs being to the “left” of workspaces with higher IDs, as if on a number line.

Variable: current-workspace

The ID of the currently active workspace. This is an integer. The “default” workspace has ID 0.

Function: workspace-limits

Returns a pair (first-index . last-index) defining the subset of the workspace continuum that is “interesting” to the user (typically, all those that have ever been explicitly created).

Function: workspace-id-to-logical space-id #!optional limits

Takes an absolute workspace ID and returns its position in the interval of “interesting” workspaces. If limits is provided, it must be a pair (first-index . last-index) like that returned by workspace-limits. If it is not provided, the function uses the result of workspace-limits directly.

Function: workspace-id-from-logical offset #!optional limits

Takes an offset position into an interval of “interesting” workspaces, and returns the workspace ID at that position. If limits is provided, it must be a pair (first-index . last-index) like that returned by workspace-limits. If it is not provided, the function uses the result of workspace-limits directly.

Function: popup-workspace-list

Display the menu containing the list of all workspaces.

Function: workspace-menu

Returns a list of workspaces, suitable for display in a menu.

Customizable: workspace-names

A list of workspace names. When displaying the workspace menu, the first N workspaces use the corresponding list elements as their display names (where N is the length of the list). Normally they get the display name ‘space N’ for some value of N.


Next: Workspace Manipulation, Previous: Workspaces, Up: Workspaces   [Contents][Index]