New Ping, use servers to ping

2022-05-03 11:42:30 +08:00
parent fd1b2fc7b0
commit 9e2d49773f
6 changed files with 143 additions and 59 deletions
--- a/lib/view/page/apt.dart
+++ b/lib/view/page/apt.dart
@@ -49,7 +49,11 @@ class _AptManagePageState extends State<AptManagePage>
      Navigator.of(context).pop();
      return;
    }
-    locator<AptProvider>().init(si.client!, si.status.sysVer.dist, () => scrollController.jumpTo(scrollController.position.maxScrollExtent));
+    locator<AptProvider>().init(
+        si.client!,
+        si.status.sysVer.dist,
+        () =>
+            scrollController.jumpTo(scrollController.position.maxScrollExtent));
  }

  @override