38 lines
384 B
Text
38 lines
384 B
Text
event id {
|
|
id: str,
|
|
}
|
|
|
|
event name {
|
|
name: str,
|
|
}
|
|
|
|
event coordinates {
|
|
coordinates: array(u32),
|
|
}
|
|
|
|
event state {
|
|
state: u32,
|
|
}
|
|
|
|
event capabilities {
|
|
capabilities: u32,
|
|
}
|
|
|
|
event removed {
|
|
}
|
|
|
|
request destroy (destructor) {
|
|
}
|
|
|
|
request activate {
|
|
}
|
|
|
|
request deactivate {
|
|
}
|
|
|
|
request assign {
|
|
workspace_group: id(ext_workspace_group_handle_v1),
|
|
}
|
|
|
|
request remove {
|
|
}
|