spodskubka
commented
7 years ago I just implemented this feature in the following way:
When a connection is closed the usual red border appears along with a new output that says "Press Ctrl+R to reconnect.". When pressing Ctrl+R the red border goes away, the text "Reconnecting..." is written to the terminal and a new connection attempt is started.
The fact that connections can now be re-connected has also motivated me to change the behavior when navigating away from disconnected connections (using the top app bar). Until now such connections were deemed not useful anymore and were automatically removed from the connection manager. Thus they didn't appear in the top app bar on the favorites page and the connection page anymore. This was changed so that these connections are not automatically removed anymore, they are marked with a red border and have to be closed with the button in the top app bar.
At the moment the only way to reconnect to a server is by completely closing the terminal window and establishing a new connection.
The user should have an option to reconnect a broken connection without leaving the respective terminal window.
This has been requested by multiple users via Windows Store reviews and/or e-mails.