3 commits

Author	SHA1	Message	Date
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
Conrad Irwin	1abd58070b	Slicker remote project creation (#11309) ... Inline the editor into the modal Release Notes: - N/A --------- Co-authored-by: Bennet <bennetbo@gmx.de>	2024-05-02 12:46:52 -06:00
Conrad Irwin	9bac64a9c1	Rename RemoteProject -> DevServerProject (#11301) ... Co-Authored-By: Mikayla <mikayla@zed.dev> In a fit of ill-advisedness I called these things remote projects; forgetting that remote project is also what we call collaboratively shared projects. Release Notes: - N/A --------- Co-authored-by: Mikayla <mikayla@zed.dev> Co-authored-by: Bennet <bennetbo@gmx.de>	2024-05-02 11:00:08 -06:00