luckyimnotanigger/adguard-home-manager
1
0
Fork 0
mirror of https://github.com/JGeek00/adguard-home-manager.git synced 2025-05-14 05:52:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Ui improvements and iOS improvements

Browse source
This commit is contained in:
Juan Gilsanz Polo 2023-03-16 23:29:18 +01:00
parent 156b6a12e3
commit a736516e7b
29 changed files with 245 additions and 161 deletions
Download patch file Download diff file Expand all files Collapse all files

9
lib/screens/home/management_modal.dart
View file

@ -1,5 +1,7 @@
// ignore_for_file: use_build_context_synchronously
import 'dart:io';
import 'package:flutter/material.dart';
import 'package:provider/provider.dart';
import 'package:flutter_gen/gen_l10n/app_localizations.dart';
@ -123,7 +125,7 @@ class ManagementModal extends StatelessWidget {
return Container(
width: double.maxFinite,
height: 540,
height: Platform.isIOS ? 556 : 540,
decoration: BoxDecoration(
color: Theme.of(context).dialogBackgroundColor,
borderRadius: const BorderRadius.only(
@ -135,7 +137,7 @@ class ManagementModal extends StatelessWidget {
children: [
Expanded(
child: ListView(
physics: 540 < MediaQuery.of(context).size.height
physics: (Platform.isIOS ? 556 : 540) < MediaQuery.of(context).size.height
? const NeverScrollableScrollPhysics()
: null,
children: [
@ -202,7 +204,8 @@ class ManagementModal extends StatelessWidget {
),
],
),
)
),
if (Platform.isIOS) const SizedBox(height: 16)
],
),
);