5 Commits

Include renames

Author	SHA1	Message	Date
Conrad Irwin	e93d62680d	Improve disconnected modal for SSH (#19567) ... Closes #ISSUE Release Notes: - SSH Remoting: made reconnect modal more robust	2024-10-22 13:22:27 -06:00
Danilo LealandPiotr Osiewicz	3ba2af289b	ssh: Expose server address in the title bar (#19549) ... This PR exposes the server address (or the nickname, if there is one) on the title bar and in all modals that have the SSH header. The title bar tooltip meta description still shows the original server address (regardless of a nickname existing in this case), though. <img width="600" alt="Screenshot 2024-10-22 at 10 58 36" src="https://github.com/user-attachments/assets/64a94d9f-798b-44a4-9dee-6056886535bb"> Release Notes: - N/A --------- Co-authored-by: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com>	2024-10-22 12:39:00 -03:00
Conrad IrwinandMikayla	6e485453d0	Rename dev servers to remote projects in UI (#19527) ... Release Notes: - N/A Co-authored-by: Mikayla <mikayla@zed.dev>	2024-10-21 16:50:25 -06:00
Thorsten BallandBennet	b75532fad7	ssh remote: Handle disconnect on project and show overlay (#19014) ... Demo: https://github.com/user-attachments/assets/e5edf8f3-8c15-482e-a792-6eb619f83de4 Release Notes: - N/A --------- Co-authored-by: Bennet <bennet@zed.dev>	2024-10-10 12:59:09 +02:00
Conrad IrwinandMax	4e98c23463	Reconnect button for remote projects (#12669) ... Release Notes: - N/A --------- Co-authored-by: Max <max@zed.dev>	2024-06-10 18:09:47 -06:00