Max Brunsfeld
|
5c03b6a610
|
Remove logic for multiple channel parents
Co-authored-by: Conrad <conrad@zed.dev>
Co-authored-by: Kyle <kyle@zed.dev>
Co-authored-by: Joseph <joseph@zed.dev>
|
2023-10-24 17:29:23 +02:00 |
|
Conrad Irwin
|
3853009d92
|
Refactor to avoid some (mostly hypothetical) races
Tidy up added code to reduce duplicity of X and X_internals.
|
2023-10-18 21:42:10 -06:00 |
|
Conrad Irwin
|
70aed4a605
|
Sync Role as part of channels
Begin to fix guest notifications
|
2023-10-17 22:48:44 -06:00 |
|
Conrad Irwin
|
da2b8082b3
|
Rename members to participants in db crate
|
2023-10-12 20:42:42 -06:00 |
|
Max Brunsfeld
|
61e0289014
|
Acknowledge channel notes and chat changes when views are active
Co-authored-by: Mikayla <mikayla@zed.dev>
|
2023-10-03 17:40:10 -07:00 |
|
Mikayla
|
32c4138758
|
Added db message and edit operation observation
Co-authored-by: Max <max@zed.dev>
|
2023-10-03 11:39:59 -07:00 |
|
Max Brunsfeld
|
0db4b29452
|
Avoid N+1 query for channels with new messages
Co-authored-by: Mikayla <mikayla@zed.dev>
|
2023-10-02 16:22:28 -07:00 |
|
Max Brunsfeld
|
d9d997b218
|
Avoid N+1 query for channels with notes changes
Also, start work on new timing for recording observed notes edits.
Co-authored-by: Mikayla <mikayla@zed.dev>
|
2023-10-02 15:58:34 -07:00 |
|
Mikayla
|
51cf6a5ff3
|
Add database implementation of channel message change tracking
|
2023-10-01 22:32:11 -07:00 |
|
Mikayla
|
9ba975d6ad
|
Channel notifications from the server works
|
2023-10-01 22:30:21 -07:00 |
|
Mikayla
|
1469c02998
|
Add observed_channel_notes table and implement note diffing
|
2023-10-01 22:26:27 -07:00 |
|
Max Brunsfeld
|
545b5e0161
|
Assign unique color indices to room participants, use those instead of replica_ids
Co-authored-by: Conrad <conrad@zed.dev>
Co-authored-by: Antonio <antonio@zed.dev>
|
2023-09-28 11:06:09 -07:00 |
|
Max Brunsfeld
|
1c50587cad
|
Remove channel chat participant when connection is lost
|
2023-09-11 17:37:05 -07:00 |
|
Max Brunsfeld
|
58f58a629b
|
Tolerate channel buffer operations being re-sent
|
2023-09-06 14:58:25 -07:00 |
|
Max Brunsfeld
|
ec5ff20b4c
|
Implement clearing stale channel buffer participants on server restart
Co-authored-by: Mikayla <mikayla@zed.dev>
|
2023-09-05 11:34:24 -07:00 |
|
Max Brunsfeld
|
6827ddf97d
|
Start work on refreshing channel buffer collaborators on server restart
|
2023-09-01 17:51:00 -07:00 |
|
Max Brunsfeld
|
e6babce556
|
Broadcast new peer ids for rejoined channel collaborators
|
2023-09-01 17:23:55 -07:00 |
|
Max Brunsfeld
|
d370c72fbf
|
Start work on rejoining channel buffers
|
2023-09-01 16:52:12 -07:00 |
|
Max Brunsfeld
|
03f0365d4d
|
Remove local timestamps from CRDT operations
Use lamport timestamps for everything.
|
2023-08-31 16:23:06 -07:00 |
|
Max Brunsfeld
|
c7c220309d
|
Avoid creating redundant snapshots of channel notes buffers
Co-authored-by: Mikayla <mikayla@zed.dev>
|
2023-08-24 16:55:45 -07:00 |
|
Max Brunsfeld
|
3268cce41a
|
Fix error in update_channel_buffer when there are no operations to store
Co-authored-by: Mikayla <mikayla@zed.dev>
|
2023-08-24 11:26:22 -07:00 |
|
Max Brunsfeld
|
11ef5e2740
|
Simplify buffer_operations schema
Co-authored-by: Mikayla <mikayla@zed.dev>
|
2023-08-23 18:37:01 -07:00 |
|
Max Brunsfeld
|
1d08f44e70
|
Snapshot channel notes buffers when everyone leaves
Co-authored-by: Mikayla <mikayla@zed.dev>
|
2023-08-23 18:37:01 -07:00 |
|
Mikayla
|
5a0315c4d5
|
Achieve end to end channel buffer synchronization
co-authored-by: max <max@zed.dev>
|
2023-08-23 18:34:43 -07:00 |
|
Max Brunsfeld
|
95ea664725
|
WIP
|
2023-08-23 18:34:43 -07:00 |
|
Max Brunsfeld
|
71611ee7a2
|
Get join_buffer_for_channel compiling
Co-authored-by: Mikayla <mikayla@zed.dev>
|
2023-08-23 18:34:43 -07:00 |
|
Mikayla
|
364ed1f840
|
WIP: pass synchronize channel buffers integration test
|
2023-08-23 18:34:43 -07:00 |
|
Max Brunsfeld
|
ff5035ea37
|
Start work on storing channel buffers
|
2023-08-23 18:34:43 -07:00 |
|