19 lines
246 B
Text
19 lines
246 B
Text
event workspace_group {
|
|
workspace_group: id(ext_workspace_group_handle_v1) (new),
|
|
}
|
|
|
|
event workspace {
|
|
workspace: id(ext_workspace_handle_v1) (new),
|
|
}
|
|
|
|
request commit {
|
|
}
|
|
|
|
event done {
|
|
}
|
|
|
|
event finished (destructor) {
|
|
}
|
|
|
|
request stop {
|
|
}
|