![]() 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 |
||
---|---|---|
.. | ||
auth.rs | ||
conn.rs | ||
error.rs | ||
extension.rs | ||
macros.rs | ||
notification.rs | ||
peer.rs | ||
proto.rs | ||
rpc.rs |