36a4d31
Keep unregistered projects' ids until pending contact updates are done
Max Brunsfeld
created
db97dcd
Don't update contacts when a project is first registered
Click to expand commit body
Until the host has sent an UpdateProject message to populate the project's
metadata, there is no reason to update contacts.
Max Brunsfeld
created
f7e7a7c
Use rocksdb to store project paths' public/private state
Max Brunsfeld
created
724affc
Upgrade deps to avoid multiple versions of transitive deps
Click to expand commit body
* env_logger
* prost-build
* bindgen
Max Brunsfeld
created
d45db17
Style the contact panel while public/private operations are in-flight
Max Brunsfeld
created
d11beb3
Change project registration RPC APIs to smooth out UI updates
Click to expand commit body
* Make `UnregisterProject` a request. This way the client-side project can wait
to clear out its remote id until the request has completed, so that the
contacts panel can avoid showing duplicate private/public projects in the
brief time after unregistering a project, before the next UpdateCollaborators
message is received.
* Remove the `RegisterWorktree` and `UnregisterWorktree` methods and replace
them with a single `UpdateProject` method that idempotently updates the
Project's list of worktrees.
3ffbd56
Merge pull request #1093 from zed-industries/fix-panic-version
Click to expand commit body
Report the correct app version when sending panics to server
Antonio Scandurra
created
7ecc67b
Report the correct app version when sending panics to server
Click to expand commit body
Previously, we were just relying on the `ZED_APP_VERSION` environment
variable without consulting `Platform::app_version`. That would always
report "dev" as the app version because `ZED_APP_VERSION` is only used
for testing.
7beb194
Merge pull request #1091 from zed-industries/fix-project-diagnostics-panic
Click to expand commit body
Don't reuse the same diagnostic group id across buffers
Antonio Scandurra
created
6baf8b0
Don't reuse the same diagnostic group id across buffers
Click to expand commit body
This lets us use the group id as the key for an `ElementState`, which
fixes a panic that would occur in project diagnostics when opening it
while there were multiple diagnostic groups with the same id.
Antonio Scandurra
created
c34b30e
Merge pull request #1090 from zed-industries/context-menu-polish
Click to expand commit body
Context menu polish
Antonio Scandurra
created
1226730
Don't dismiss context menu when right-clicking project panel again
Antonio Scandurra
created
701e209
Align context menu to fit within the window bounds
Antonio Scandurra
created
f1964cf
Merge pull request #1089 from zed-industries/jump-to-diagnostic
Click to expand commit body
Jump to diagnostic
Antonio Scandurra
created
6979e67
Use anchors to jump to diagnostic whenever possible
Now you simply specify a text, an action and a style and GPUI will
take of rendering it properly. This is simpler compared to always
providing a custom element and should make tooltip more consistent
across the UI.
We temporarily let it grow when the message size exceed the limit,
but restore the buffer's capacity shortly after. This ensures that,
for each connection in its entire lifetime, we only ever use 1MB.
Antonio Scandurra
created
da46d78
Merge pull request #1081 from zed-industries/project-panel-with-new-mouse-events
Click to expand commit body
Introduce context menu to project panel
Antonio Scandurra
created
34bf248
Avoid notifying views that have been removed
Antonio Scandurra
created
e067212
Always re-render visible elements in `List`