opt.: servers list -> map

2023-04-23 14:08:46 +08:00
parent bd608ce06f
commit 71243ea1fe
10 changed files with 85 additions and 80 deletions
--- a/lib/view/page/server/detail.dart
+++ b/lib/view/page/server/detail.dart
@@ -40,9 +40,15 @@ class _ServerDetailPageState extends State<ServerDetailPage>
  @override
  Widget build(BuildContext context) {
    return Consumer<ServerProvider>(builder: (_, provider, __) {
-      return _buildMainPage(
-        provider.getServer(widget.id),
-      );
+      final s = provider.servers[widget.id];
+      if (s == null) {
+        return Scaffold(
+          body: Center(
+            child: Text(_s.noClient),
+          ),
+        );
+      }
+      return _buildMainPage(s);
    });
  }