Add manual disconnect

This allows going back to the connection page and to choose a different
server. Furthermore it might be useful to force a new connection attempt
while auto-reconnect might be in a delay state.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/ui.dart b/lib/ui.dart
index 1d2ad53..e14895b 100644
--- a/lib/ui.dart
+++ b/lib/ui.dart
@@ -113,7 +113,7 @@ class ConnectionStatus extends StatelessWidget {
           }
 
           MachineEvent event = MachineEvent.disconnect;
-          String action = '(disabled)';
+          String action = 'disconnect';
           if (state.state == MachineState.init) {
             event = MachineEvent.connect;
             action = 'connect';