Keep currently open files available on websocket death

[Wendelstein7]

When the websocket dies or some network error occurs, cloud-catcher obviously can't function anymore.

This can be quite disturbing if you were just editing a file using the cloud edit command, as you will immediately lose your work when the session ends, because a fullscreen error message replaces everything that was there beforee.

I'd like to request a feature.
Instead of vanishing all open editors to display a message center screened, add a big red banner on top and perhaps in replacement of the computer-screen-mirror, but keep the opened files accesible on the browser client, so that the user can still copy and paste and save the work.

Thanks for giving this a thought!

<3 from HydroNitrogen