fix: ssh session not inited

2023-08-17 14:59:23 +08:00
parent 329922a836
commit 1be87d0ec0
18 changed files with 90 additions and 160 deletions
--- a/lib/view/page/server/detail.dart
+++ b/lib/view/page/server/detail.dart
@@ -437,10 +437,12 @@ class _ServerDetailPageState extends State<ServerDetailPage>
            ),
          ],
        )));
-    return RoundRectCard(Padding(
-      padding: roundRectCardPadding,
-      child: Column(children: children),
-    ),);
+    return RoundRectCard(
+      Padding(
+        padding: roundRectCardPadding,
+        child: Column(children: children),
+      ),
+    );
  }

  Widget _buildAnimatedText(Key key, String text, TextStyle style) {