Closed
Description
When the terminal is disconnected, we add a big "Disconnected" banner. Could we make this interact-able and have a way to refresh the connection?
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
Activity
ElliotG commentedon Dec 13, 2022
Wait, it looks like refreshing the page does the reconnect. While awesome, we should make this more discoverable
kylecarbs commentedon Dec 13, 2022
Certainly agree with this... I don't know why I didn't add a reconnect button when I created this feature...
mattlqx commentedon Dec 14, 2022
Or just any key input would try to reconnect automatically?