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 workplaces with lower IDs being to the "left"
of workplaces with higher IDs, as if on a number line.
| current-workspace
|
Variable |
|
The ID of the currently active workspace. This is an integer. The
"default" workspace has ID 0.
|
| workspace-limits
|
Function |
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).
|
| workspace-id-to-logical space-id &optional limits
|
Function |
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.
|
| workspace-id-from-logical offset &optional limits
|
Function |
Takes an offset position into an interval of "interesting"
workspaces, and returns the workplace 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.
|
| popup-workspace-list
|
Function |
|
Display the menu containing the list of all workspaces.
|
|
Returns a list of workspaces, suitable for display in a menu.
|
| workspace-names
|
Customizable |
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.
|