Send a CloseWorktree message when a shared Worktree is dropped

zed-rpc/proto/zed.proto

@@ -12,12 +12,13 @@ message Envelope {
         ShareWorktreeResponse share_worktree_response = 7;
         OpenWorktree open_worktree = 8;
         OpenWorktreeResponse open_worktree_response = 9;
-        OpenBuffer open_buffer = 10;
-        OpenBufferResponse open_buffer_response = 11;
-        CloseBuffer close_buffer = 12;
-        UpdateBuffer update_buffer = 13;
-        AddGuest add_guest = 14;
-        RemoveGuest remove_guest = 15;
+        CloseWorktree close_worktree = 10;
+        OpenBuffer open_buffer = 11;
+        OpenBufferResponse open_buffer_response = 12;
+        CloseBuffer close_buffer = 13;
+        UpdateBuffer update_buffer = 14;
+        AddGuest add_guest = 15;
+        RemoveGuest remove_guest = 16;
     }
 }
 
@@ -50,6 +51,10 @@ message OpenWorktreeResponse {
     repeated Peer peers = 3;
 }
 
+message CloseWorktree {
+    uint64 worktree_id = 1;
+}
+
 message AddGuest {
     uint64 worktree_id = 1;
     Peer guest = 2;

zed-rpc/src/proto.rs

@@ -71,6 +71,7 @@ macro_rules! request_message {
 request_message!(Auth, AuthResponse);
 request_message!(ShareWorktree, ShareWorktreeResponse);
 request_message!(OpenWorktree, OpenWorktreeResponse);
+message!(CloseWorktree);
 request_message!(OpenBuffer, OpenBufferResponse);
 message!(CloseBuffer);
 message!(UpdateBuffer);