Commit 0165f7b
remote: Fix incorrect default repository selection when using remote (zed-industries#41698)
If I understand this correctly: The `active_repo_id` uses
`get_or_insert_with`, which makes it dependent on the `RepositoryAdded`
event sequence. To ensure correct initialization of the `active_repo_id`
on the remote side, the first local `RepositoryAdded` event must
synchronously send an `UpdateRepository` to `updates_tx`.
Closes zed-industries#30694
Release Notes:
- Fixed incorrect default repository selection when using remote1 parent 5628218 commit 0165f7b
1 file changed
+6
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1268 | 1268 | | |
1269 | 1269 | | |
1270 | 1270 | | |
| 1271 | + | |
| 1272 | + | |
| 1273 | + | |
| 1274 | + | |
| 1275 | + | |
| 1276 | + | |
1271 | 1277 | | |
1272 | 1278 | | |
1273 | 1279 | | |
| |||
0 commit comments