readd: serverTabPreferDiskAmount (#780)

Fixes #643
2025-06-08 11:15:54 +08:00
parent b5aec55106
commit 4b3953e0d2
42 changed files with 343 additions and 515 deletions
--- a/lib/view/page/ssh/page/page.dart
+++ b/lib/view/page/ssh/page/page.dart
@@ -189,7 +189,7 @@ class SSHPageState extends State<SSHPage>
    if (hasBg) {
      children.add(
        Positioned.fill(
-          child: Image.file(file, fit: BoxFit.cover, errorBuilder: (_, __, ___) => const SizedBox()),
+          child: Image.file(file, fit: BoxFit.cover, errorBuilder: (_, _, _) => const SizedBox()),
        ),
      );
      if (blur > 0) {
@@ -247,8 +247,8 @@ class SSHPageState extends State<SSHPage>
        height: _virtKeysHeight + _media.padding.bottom,
        child: ChangeNotifierProvider(
          create: (_) => _keyboard,
-          builder: (_, __) => Consumer<VirtKeyProvider>(
-            builder: (_, __, ___) {
+          builder: (_, _) => Consumer<VirtKeyProvider>(
+            builder: (_, _, _) {
              return _buildVirtualKey();
            },
          ),