Antonio Scandurra 6baf8b033b Don't reuse the same diagnostic group id across buffers ...

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.

2022-06-02 12:05:28 +02:00

..

bin

Fix failing seed bin build and add bin builds to ci pipeline

2022-05-26 15:41:24 -07:00

rpc

Clear language server and worktree statuses when unsharing on server

2022-05-31 11:22:41 +02:00

api.rs

Pretty-print JSON of server snapshot

2022-05-26 09:34:39 +02:00

auth.rs

Enable descriptive HTTP errors to be returned from DB layer

2022-05-19 11:55:55 -06:00

db.rs

Implement get_invite_code_for_user on test db

2022-05-23 18:07:23 -06:00

env.rs

Rename zed-server to collab

2022-04-09 08:30:42 -06:00

errors.rs

Remove more unused code related to GitHub auth and errors

2022-04-21 08:57:49 -06:00

integration_tests.rs

Don't reuse the same diagnostic group id across buffers

2022-06-02 12:05:28 +02:00

lib.rs

Fix failing seed bin build and add bin builds to ci pipeline

2022-05-26 15:41:24 -07:00

main.rs

Merge pull request #1081 from zed-industries/project-panel-with-new-mouse-events

2022-05-31 10:40:42 +02:00

rpc.rs

Merge branch 'main' into project-panel-with-new-mouse-events

2022-05-30 18:29:46 +02:00