ZIm/crates/collab/src
Bennet Bo Fenner 593f0e0c3e
remoting: Edit dev server (#11344)
This PR allows configuring existing dev server, right now you can:
- Change the dev servers name
- Generate a new token (and invalidate the old one)

<img width="563" alt="image"
src="https://github.com/zed-industries/zed/assets/53836821/9bc95042-c969-4293-90fd-0848d021b664">


Release Notes:

- N/A
2024-05-06 12:58:11 +02:00
..
api Use HIGH priority to wake blocked timers (#11269) 2024-05-01 16:03:27 -06:00
bin Make it (a tiny bit) easier to run your own collab (#9557) 2024-03-20 21:00:02 -06:00
db remoting: Edit dev server (#11344) 2024-05-06 12:58:11 +02:00
rpc open new buffer (#11203) 2024-04-30 16:09:43 -06:00
tests remoting: Edit dev server (#11344) 2024-05-06 12:58:11 +02:00
ai.rs New revision of the Assistant Panel (#10870) 2024-04-23 16:23:26 -07:00
api.rs Rust 1.78 (#11314) 2024-05-05 15:02:50 +02:00
auth.rs WIP: remoting (#10085) 2024-04-11 15:36:35 -06:00
completion.rs Supermaven (#10788) 2024-05-03 12:50:42 -07:00
db.rs Rename RemoteProject -> DevServerProject (#11301) 2024-05-02 11:00:08 -06:00
env.rs Add an extensions API to the collaboration server (#7807) 2024-02-15 12:53:57 -08:00
errors.rs Remove more unused code related to GitHub auth and errors 2022-04-21 08:57:49 -06:00
executor.rs Remove 2 suffix for collab, rope, settings, menu 2024-01-03 12:29:16 -08:00
lib.rs Supermaven (#10788) 2024-05-03 12:50:42 -07:00
main.rs Semantic Index (#10329) 2024-04-12 11:40:59 -06:00
rate_limiter.rs Allow AI interactions to be proxied through Zed's server so you don't need an API key (#7367) 2024-03-19 19:22:26 +01:00
rpc.rs remoting: Edit dev server (#11344) 2024-05-06 12:58:11 +02:00
seed.rs Make it (a tiny bit) easier to run your own collab (#9557) 2024-03-20 21:00:02 -06:00
tests.rs WIP: remoting (#10085) 2024-04-11 15:36:35 -06:00