ext-workspace: implement v1

2025-01-24 16:32:59 +01:00 · 2025-01-24 16:32:59 +01:00 · a4e197d92a
commit a4e197d92a
parent 2b76083d6e
22 changed files with 948 additions and 4 deletions
--- a/wire/ext_workspace_manager_v1.txt
+++ b/wire/ext_workspace_manager_v1.txt
@ -0,0 +1,23 @@
+event workspace_group {
+    workspace_group: id(ext_workspace_group_handle_v1),
+}
+
+event workspace {
+    workspace: id(ext_workspace_handle_v1),
+}
+
+request commit {
+
+}
+
+event done {
+
+}
+
+event finished {
+
+}
+
+request stop {
+
+}