Fetch messages when joining a channel

2021-08-19 15:25:20 -06:00
parent 620b988e22
commit a4882169c2
5 changed files with 108 additions and 15 deletions
@@ -30,8 +30,9 @@ message Envelope {
        GetUsersResponse get_users_response = 25;
        JoinChannel join_channel = 26;
        JoinChannelResponse join_channel_response = 27;
-        SendChannelMessage send_channel_message = 28;
-        ChannelMessageSent channel_message_sent = 29;
+        LeaveChannel leave_channel = 28;
+        SendChannelMessage send_channel_message = 29;
+        ChannelMessageSent channel_message_sent = 30;
    }
 }

@@ -141,6 +142,10 @@ message JoinChannelResponse {
    repeated ChannelMessage messages = 1;
 }

+message LeaveChannel {
+    uint64 channel_id = 1;
+}
+
 message GetUsers {
    repeated uint64 user_ids = 1;
 }
@@ -138,6 +138,7 @@ messages!(
    GetUsersResponse,
    JoinChannel,
    JoinChannelResponse,
+    LeaveChannel,
    OpenBuffer,
    OpenBufferResponse,
    OpenWorktree,