Disconnect button improvements #15
Description
Change the Disconnect button to a dropdown button with two options:
- disconnect from the env and keep the env running (current behavior)
- disconnect from the env and shut it down
{{ message }}
Change the Disconnect button to a dropdown button with two options: