mirror of
https://github.com/labwc/labwc.git
synced 2025-10-31 22:25:34 -04:00
419 lines
19 KiB
XML
419 lines
19 KiB
XML
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|||
|
|
<protocol name="ext_workspace_v1">
|
|||
|
|
<copyright>
|
|||
|
|
Copyright © 2019 Christopher Billington
|
|||
|
|
Copyright © 2020 Ilia Bozhinov
|
|||
|
|
Copyright © 2022 Victoria Brekenfeld
|
|||
|
|
|
|||
|
|
Permission to use, copy, modify, distribute, and sell this
|
|||
|
|
software and its documentation for any purpose is hereby granted
|
|||
|
|
without fee, provided that the above copyright notice appear in
|
|||
|
|
all copies and that both that copyright notice and this permission
|
|||
|
|
notice appear in supporting documentation, and that the name of
|
|||
|
|
the copyright holders not be used in advertising or publicity
|
|||
|
|
pertaining to distribution of the software without specific,
|
|||
|
|
written prior permission. The copyright holders make no
|
|||
|
|
representations about the suitability of this software for any
|
|||
|
|
purpose. It is provided "as is" without express or implied
|
|||
|
|
warranty.
|
|||
|
|
|
|||
|
|
THE COPYRIGHT HOLDERS DISCLAIM ALL WARRANTIES WITH REGARD TO THIS
|
|||
|
|
SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
|
|||
|
|
FITNESS, IN NO EVENT SHALL THE COPYRIGHT HOLDERS BE LIABLE FOR ANY
|
|||
|
|
SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|||
|
|
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN
|
|||
|
|
AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION,
|
|||
|
|
ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF
|
|||
|
|
THIS SOFTWARE.
|
|||
|
|
</copyright>
|
|||
|
|
|
|||
|
|
<interface name="ext_workspace_manager_v1" version="1">
|
|||
|
|
<description summary="list and control workspaces">
|
|||
|
|
Workspaces, also called virtual desktops, are groups of surfaces. A
|
|||
|
|
compositor with a concept of workspaces may only show some such groups of
|
|||
|
|
surfaces (those of 'active' workspaces) at a time. 'Activating' a
|
|||
|
|
workspace is a request for the compositor to display that workspace's
|
|||
|
|
surfaces as normal, whereas the compositor may hide or otherwise
|
|||
|
|
de-emphasise surfaces that are associated only with 'inactive' workspaces.
|
|||
|
|
Workspaces are grouped by which sets of outputs they correspond to, and
|
|||
|
|
may contain surfaces only from those outputs. In this way, it is possible
|
|||
|
|
for each output to have its own set of workspaces, or for all outputs (or
|
|||
|
|
any other arbitrary grouping) to share workspaces. Compositors may
|
|||
|
|
optionally conceptually arrange each group of workspaces in an
|
|||
|
|
N-dimensional grid.
|
|||
|
|
|
|||
|
|
The purpose of this protocol is to enable the creation of taskbars and
|
|||
|
|
docks by providing them with a list of workspaces and their properties,
|
|||
|
|
and allowing them to activate and deactivate workspaces.
|
|||
|
|
|
|||
|
|
After a client binds the ext_workspace_manager_v1, each workspace will be
|
|||
|
|
sent via the workspace event.
|
|||
|
|
</description>
|
|||
|
|
|
|||
|
|
<event name="workspace_group">
|
|||
|
|
<description summary="a workspace group has been created">
|
|||
|
|
This event is emitted whenever a new workspace group has been created.
|
|||
|
|
|
|||
|
|
All initial details of the workspace group (outputs) will be
|
|||
|
|
sent immediately after this event via the corresponding events in
|
|||
|
|
ext_workspace_group_handle_v1 and ext_workspace_handle_v1.
|
|||
|
|
</description>
|
|||
|
|
<arg name="workspace_group" type="new_id" interface="ext_workspace_group_handle_v1"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="workspace">
|
|||
|
|
<description summary="workspace has been created">
|
|||
|
|
This event is emitted whenever a new workspace has been created.
|
|||
|
|
|
|||
|
|
All initial details of the workspace (name, coordinates, state) will
|
|||
|
|
be sent immediately after this event via the corresponding events in
|
|||
|
|
ext_workspace_handle_v1.
|
|||
|
|
|
|||
|
|
Workspaces start off unassigned to any workspace group.
|
|||
|
|
</description>
|
|||
|
|
<arg name="workspace" type="new_id" interface="ext_workspace_handle_v1"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<request name="commit">
|
|||
|
|
<description summary="all requests about the workspaces have been sent">
|
|||
|
|
The client must send this request after it has finished sending other
|
|||
|
|
requests. The compositor must process a series of requests preceding a
|
|||
|
|
commit request atomically.
|
|||
|
|
|
|||
|
|
This allows changes to the workspace properties to be seen as atomic,
|
|||
|
|
even if they happen via multiple events, and even if they involve
|
|||
|
|
multiple ext_workspace_handle_v1 objects, for example, deactivating one
|
|||
|
|
workspace and activating another.
|
|||
|
|
</description>
|
|||
|
|
</request>
|
|||
|
|
|
|||
|
|
<event name="done">
|
|||
|
|
<description summary="all information about the workspaces and workspace groups has been sent">
|
|||
|
|
This event is sent after all changes in all workspaces and workspace groups have been
|
|||
|
|
sent.
|
|||
|
|
|
|||
|
|
This allows changes to one or more ext_workspace_group_handle_v1
|
|||
|
|
properties and ext_workspace_handle_v1 properties
|
|||
|
|
to be seen as atomic, even if they happen via multiple events.
|
|||
|
|
In particular, an output moving from one workspace group to
|
|||
|
|
another sends an output_enter event and an output_leave event to the two
|
|||
|
|
ext_workspace_group_handle_v1 objects in question. The compositor sends
|
|||
|
|
the done event only after updating the output information in both
|
|||
|
|
workspace groups.
|
|||
|
|
</description>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="finished" type="destructor">
|
|||
|
|
<description summary="the compositor has finished with the workspace_manager">
|
|||
|
|
This event indicates that the compositor is done sending events to the
|
|||
|
|
ext_workspace_manager_v1. The server will destroy the object
|
|||
|
|
immediately after sending this request.
|
|||
|
|
</description>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<request name="stop">
|
|||
|
|
<description summary="stop sending events">
|
|||
|
|
Indicates the client no longer wishes to receive events for new
|
|||
|
|
workspace groups. However the compositor may emit further workspace
|
|||
|
|
events, until the finished event is emitted. The compositor is expected
|
|||
|
|
to send the finished event eventually once the stop request has been processed.
|
|||
|
|
|
|||
|
|
The client must not send any requests after this one, doing so will raise a wl_display
|
|||
|
|
invalid_object error.
|
|||
|
|
</description>
|
|||
|
|
</request>
|
|||
|
|
|
|||
|
|
</interface>
|
|||
|
|
|
|||
|
|
<interface name="ext_workspace_group_handle_v1" version="1">
|
|||
|
|
<description summary="a workspace group assigned to a set of outputs">
|
|||
|
|
A ext_workspace_group_handle_v1 object represents a workspace group
|
|||
|
|
that is assigned a set of outputs and contains a number of workspaces.
|
|||
|
|
|
|||
|
|
The set of outputs assigned to the workspace group is conveyed to the client via
|
|||
|
|
output_enter and output_leave events, and its workspaces are conveyed with
|
|||
|
|
workspace events.
|
|||
|
|
|
|||
|
|
For example, a compositor which has a set of workspaces for each output may
|
|||
|
|
advertise a workspace group (and its workspaces) per output, whereas a compositor
|
|||
|
|
where a workspace spans all outputs may advertise a single workspace group for all
|
|||
|
|
outputs.
|
|||
|
|
</description>
|
|||
|
|
|
|||
|
|
<enum name="group_capabilities" bitfield="true">
|
|||
|
|
<entry name="create_workspace" value="1" summary="create_workspace request is available"/>
|
|||
|
|
</enum>
|
|||
|
|
|
|||
|
|
<event name="capabilities">
|
|||
|
|
<description summary="compositor capabilities">
|
|||
|
|
This event advertises the capabilities supported by the compositor. If
|
|||
|
|
a capability isn't supported, clients should hide or disable the UI
|
|||
|
|
elements that expose this functionality. For instance, if the
|
|||
|
|
compositor doesn't advertise support for creating workspaces, a button
|
|||
|
|
triggering the create_workspace request should not be displayed.
|
|||
|
|
|
|||
|
|
The compositor will ignore requests it doesn't support. For instance,
|
|||
|
|
a compositor which doesn't advertise support for creating workspaces will ignore
|
|||
|
|
create_workspace requests.
|
|||
|
|
|
|||
|
|
Compositors must send this event once after creation of an
|
|||
|
|
ext_workspace_group_handle_v1. When the capabilities change, compositors
|
|||
|
|
must send this event again.
|
|||
|
|
</description>
|
|||
|
|
<arg name="capabilities" type="uint" summary="capabilities" enum="group_capabilities"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="output_enter">
|
|||
|
|
<description summary="output assigned to workspace group">
|
|||
|
|
This event is emitted whenever an output is assigned to the workspace
|
|||
|
|
group or a new `wl_output` object is bound by the client, which was already
|
|||
|
|
assigned to this workspace_group.
|
|||
|
|
</description>
|
|||
|
|
<arg name="output" type="object" interface="wl_output"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="output_leave">
|
|||
|
|
<description summary="output removed from workspace group">
|
|||
|
|
This event is emitted whenever an output is removed from the workspace
|
|||
|
|
group.
|
|||
|
|
</description>
|
|||
|
|
<arg name="output" type="object" interface="wl_output"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="workspace_enter">
|
|||
|
|
<description summary="workspace added to workspace group">
|
|||
|
|
This event is emitted whenever a workspace is assigned to this group.
|
|||
|
|
A workspace may only ever be assigned to a single group at a single point
|
|||
|
|
in time, but can be re-assigned during it's lifetime.
|
|||
|
|
</description>
|
|||
|
|
<arg name="workspace" type="object" interface="ext_workspace_handle_v1"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="workspace_leave">
|
|||
|
|
<description summary="workspace removed from workspace group">
|
|||
|
|
This event is emitted whenever a workspace is remove from this group.
|
|||
|
|
</description>
|
|||
|
|
<arg name="workspace" type="object" interface="ext_workspace_handle_v1"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="removed">
|
|||
|
|
<description summary="this workspace group has been removed">
|
|||
|
|
This event is send when the group associated with the ext_workspace_group_handle_v1
|
|||
|
|
has been removed. After sending this request the compositor will immediately consider
|
|||
|
|
the object inert. Any requests will be ignored except the destroy request.
|
|||
|
|
It is guaranteed there won't be any more events for this
|
|||
|
|
ext_workspace_group_handle_v1.
|
|||
|
|
|
|||
|
|
The compositor must remove all workspaces belonging to a workspace group
|
|||
|
|
via a workspace_leave event before removing the workspace group.
|
|||
|
|
</description>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<request name="create_workspace">
|
|||
|
|
<description summary="create a new workspace">
|
|||
|
|
Request that the compositor create a new workspace with the given name
|
|||
|
|
and assign it to this group.
|
|||
|
|
|
|||
|
|
There is no guarantee that the compositor will create a new workspace,
|
|||
|
|
or that the created workspace will have the provided name.
|
|||
|
|
</description>
|
|||
|
|
<arg name="workspace" type="string"/>
|
|||
|
|
</request>
|
|||
|
|
|
|||
|
|
<request name="destroy" type="destructor">
|
|||
|
|
<description summary="destroy the ext_workspace_group_handle_v1 object">
|
|||
|
|
Destroys the ext_workspace_group_handle_v1 object.
|
|||
|
|
|
|||
|
|
This request should be send either when the client does not want to
|
|||
|
|
use the workspace group object any more or after the removed event to finalize
|
|||
|
|
the destruction of the object.
|
|||
|
|
</description>
|
|||
|
|
</request>
|
|||
|
|
</interface>
|
|||
|
|
|
|||
|
|
<interface name="ext_workspace_handle_v1" version="1">
|
|||
|
|
<description summary="a workspace handing a group of surfaces">
|
|||
|
|
A ext_workspace_handle_v1 object represents a workspace that handles a
|
|||
|
|
group of surfaces.
|
|||
|
|
|
|||
|
|
Each workspace has:
|
|||
|
|
- a name, conveyed to the client with the name event
|
|||
|
|
- potentially an id conveyed with the id event
|
|||
|
|
- a list of states, conveyed to the client with the state event
|
|||
|
|
- and optionally a set of coordinates, conveyed to the client with the
|
|||
|
|
coordinates event
|
|||
|
|
|
|||
|
|
The client may request that the compositor activate or deactivate the workspace.
|
|||
|
|
|
|||
|
|
Each workspace can belong to only a single workspace group.
|
|||
|
|
Depepending on the compositor policy, there might be workspaces with
|
|||
|
|
the same name in different workspace groups, but these workspaces are still
|
|||
|
|
separate (e.g. one of them might be active while the other is not).
|
|||
|
|
</description>
|
|||
|
|
|
|||
|
|
<event name="id">
|
|||
|
|
<description summary="workspace id">
|
|||
|
|
If this event is emitted, it will be send immediately after the
|
|||
|
|
ext_workspace_handle_v1 is created or when an id is assigned to
|
|||
|
|
a workspace (at most once during it's lifetime).
|
|||
|
|
|
|||
|
|
An id will never change during the lifetime of the `ext_workspace_handle_v1`
|
|||
|
|
and is guaranteed to be unique during it's lifetime.
|
|||
|
|
|
|||
|
|
Ids are not human-readable and shouldn't be displayed, use `name` for that purpose.
|
|||
|
|
|
|||
|
|
Compositors are expected to only send ids for workspaces likely stable across multiple
|
|||
|
|
sessions and can be used by clients to store preferences for workspaces. Workspaces without
|
|||
|
|
ids should be considered temporary and any data associated with them should be deleted once
|
|||
|
|
the respective object is lost.
|
|||
|
|
</description>
|
|||
|
|
<arg name="id" type="string"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="name">
|
|||
|
|
<description summary="workspace name changed">
|
|||
|
|
This event is emitted immediately after the ext_workspace_handle_v1 is
|
|||
|
|
created and whenever the name of the workspace changes.
|
|||
|
|
|
|||
|
|
A name is meant to be human-readable and can be displayed to a user.
|
|||
|
|
Unlike the id it is neither stable nor unique.
|
|||
|
|
</description>
|
|||
|
|
<arg name="name" type="string"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="coordinates">
|
|||
|
|
<description summary="workspace coordinates changed">
|
|||
|
|
This event is used to organize workspaces into an N-dimensional grid
|
|||
|
|
within a workspace group, and if supported, is emitted immediately after
|
|||
|
|
the ext_workspace_handle_v1 is created and whenever the coordinates of
|
|||
|
|
the workspace change. Compositors may not send this event if they do not
|
|||
|
|
conceptually arrange workspaces in this way. If compositors simply
|
|||
|
|
number workspaces, without any geometric interpretation, they may send
|
|||
|
|
1D coordinates, which clients should not interpret as implying any
|
|||
|
|
geometry. Sending an empty array means that the compositor no longer
|
|||
|
|
orders the workspace geometrically.
|
|||
|
|
|
|||
|
|
Coordinates have an arbitrary number of dimensions N with an uint32
|
|||
|
|
position along each dimension. By convention if N > 1, the first
|
|||
|
|
dimension is X, the second Y, the third Z, and so on. The compositor may
|
|||
|
|
chose to utilize these events for a more novel workspace layout
|
|||
|
|
convention, however. No guarantee is made about the grid being filled or
|
|||
|
|
bounded; there may be a workspace at coordinate 1 and another at
|
|||
|
|
coordinate 1000 and none in between. Within a workspace group, however,
|
|||
|
|
workspaces must have unique coordinates of equal dimensionality.
|
|||
|
|
</description>
|
|||
|
|
<arg name="coordinates" type="array"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<enum name="state" bitfield="true">
|
|||
|
|
<description summary="types of states on the workspace">
|
|||
|
|
The different states that a workspace can have.
|
|||
|
|
</description>
|
|||
|
|
|
|||
|
|
<entry name="active" value="1" summary="the workspace is active"/>
|
|||
|
|
<entry name="urgent" value="2" summary="the workspace requests attention"/>
|
|||
|
|
<entry name="hidden" value="4">
|
|||
|
|
<description summary="the workspace is not visible">
|
|||
|
|
The workspace is not visible in its workspace group, and clients
|
|||
|
|
attempting to visualize the compositor workspace state should not
|
|||
|
|
display such workspaces.
|
|||
|
|
</description>
|
|||
|
|
</entry>
|
|||
|
|
</enum>
|
|||
|
|
|
|||
|
|
<event name="state">
|
|||
|
|
<description summary="the state of the workspace changed">
|
|||
|
|
This event is emitted immediately after the ext_workspace_handle_v1 is
|
|||
|
|
created and each time the workspace state changes, either because of a
|
|||
|
|
compositor action or because of a request in this protocol.
|
|||
|
|
|
|||
|
|
Missing states convey the opposite meaning, e.g. an unset active bit
|
|||
|
|
means the workspace is currently inactive.
|
|||
|
|
</description>
|
|||
|
|
<arg name="state" type="uint" enum="state"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<enum name="workspace_capabilities" bitfield="true">
|
|||
|
|
<entry name="activate" value="1" summary="activate request is available"/>
|
|||
|
|
<entry name="deactivate" value="2" summary="deactivate request is available"/>
|
|||
|
|
<entry name="remove" value="4" summary="remove request is available"/>
|
|||
|
|
<entry name="assign" value="8" summary="assign request is available"/>
|
|||
|
|
</enum>
|
|||
|
|
|
|||
|
|
<event name="capabilities">
|
|||
|
|
<description summary="compositor capabilities">
|
|||
|
|
This event advertises the capabilities supported by the compositor. If
|
|||
|
|
a capability isn't supported, clients should hide or disable the UI
|
|||
|
|
elements that expose this functionality. For instance, if the
|
|||
|
|
compositor doesn't advertise support for removing workspaces, a button
|
|||
|
|
triggering the remove request should not be displayed.
|
|||
|
|
|
|||
|
|
The compositor will ignore requests it doesn't support. For instance,
|
|||
|
|
a compositor which doesn't advertise support for remove will ignore
|
|||
|
|
remove requests.
|
|||
|
|
|
|||
|
|
Compositors must send this event once after creation of an
|
|||
|
|
ext_workspace_handle_v1 . When the capabilities change, compositors
|
|||
|
|
must send this event again.
|
|||
|
|
</description>
|
|||
|
|
<arg name="capabilities" type="uint" summary="capabilities" enum="workspace_capabilities"/>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<event name="removed">
|
|||
|
|
<description summary="this workspace has been removed">
|
|||
|
|
This event is send when the workspace associated with the ext_workspace_handle_v1
|
|||
|
|
has been removed. After sending this request, the compositor will immediately consider
|
|||
|
|
the object inert. Any requests will be ignored except the destroy request.
|
|||
|
|
It is guaranteed there won't be any more events for this
|
|||
|
|
ext_workspace_handle_v1.
|
|||
|
|
</description>
|
|||
|
|
</event>
|
|||
|
|
|
|||
|
|
<request name="destroy" type="destructor">
|
|||
|
|
<description summary="destroy the ext_workspace_handle_v1 object">
|
|||
|
|
Destroys the ext_workspace_handle_v1 object.
|
|||
|
|
|
|||
|
|
This request should be made either when the client does not want to
|
|||
|
|
use the workspace object any more or after the remove event to finalize
|
|||
|
|
the destruction of the object.
|
|||
|
|
</description>
|
|||
|
|
</request>
|
|||
|
|
|
|||
|
|
<request name="activate">
|
|||
|
|
<description summary="activate the workspace">
|
|||
|
|
Request that this workspace be activated.
|
|||
|
|
|
|||
|
|
There is no guarantee the workspace will be actually activated, and
|
|||
|
|
behaviour may be compositor-dependent. For example, activating a
|
|||
|
|
workspace may or may not deactivate all other workspaces in the same
|
|||
|
|
group.
|
|||
|
|
</description>
|
|||
|
|
</request>
|
|||
|
|
|
|||
|
|
<request name="deactivate">
|
|||
|
|
<description summary="activate the workspace">
|
|||
|
|
Request that this workspace be deactivated.
|
|||
|
|
|
|||
|
|
There is no guarantee the workspace will be actually deactivated.
|
|||
|
|
</description>
|
|||
|
|
</request>
|
|||
|
|
|
|||
|
|
<request name="assign">
|
|||
|
|
<description summary="assign workspace to group">
|
|||
|
|
Requests that this workspace is assigned to the given workspace group.
|
|||
|
|
|
|||
|
|
There is no guarantee the workspace will be assigned.
|
|||
|
|
</description>
|
|||
|
|
<arg name="workspace_group" type="object" interface="ext_workspace_group_handle_v1"/>
|
|||
|
|
</request>
|
|||
|
|
|
|||
|
|
<request name="remove">
|
|||
|
|
<description summary="remove the workspace">
|
|||
|
|
Request that this workspace be removed.
|
|||
|
|
|
|||
|
|
There is no guarantee the workspace will be actually removed.
|
|||
|
|
</description>
|
|||
|
|
</request>
|
|||
|
|
</interface>
|
|||
|
|
</protocol>
|