Danilo Leal c3860804ff ssh: Ensure long server names (and nicknames) truncate (#19621) ... Just polishing the UI a bit more. One drawback of this, though, is that if you _do_ have a big nickname or server name, with this current solution, you won't be able to see it. Ideally, we should be able to hover over it and see it in a tooltip, but the `div` still doesn't support that out of the box. | Main modal | Modal header | |--------|--------| | <img width="1136" alt="Screenshot 2024-10-23 at 12 49 18" src="https://github.com/user-attachments/assets/ed5f0222-faa1-49bd-b249-2f22497566d8"> | <img width="1136" alt="Screenshot 2024-10-23 at 12 49 23" src="https://github.com/user-attachments/assets/5a464b12-99e8-4934-aa6a-c9c4c40ea4d4"> | Release Notes: - N/A		2024-10-23 13:31:03 -03:00
..
json_log.rs	Improve ssh remote error handling and logging (#15035)	2024-07-23 13:29:56 -07:00
protocol.rs	Fix flakey SSH connection (#19439)	2024-10-18 15:41:43 -07:00
proxy.rs	remote server: Do not spawn server when proxy reconnects (#18864)	2024-10-09 16:51:12 +02:00
remote.rs	ssh remote: Handle disconnect on project and show overlay (#19014)	2024-10-10 12:59:09 +02:00
ssh_session.rs	ssh: Ensure long server names (and nicknames) truncate (#19621)	2024-10-23 13:31:03 -03:00