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

More improvements

Browse source
This commit is contained in:
Juan Gilsanz Polo 2023-03-16 23:36:41 +01:00
parent a736516e7b
commit cfd1119864
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lib/screens/logs/logs_filters_modal.dart
View file

@ -164,7 +164,7 @@ class _LogsFiltersModalWidgetState extends State<LogsFiltersModalWidget> {
return Padding( return Padding(
padding: MediaQuery.of(context).viewInsets, padding: MediaQuery.of(context).viewInsets,
child: Container( child: Container(
height: 455, height: Platform.isIOS ? 446 : 430,
decoration: BoxDecoration( decoration: BoxDecoration(
color: Theme.of(context).dialogBackgroundColor, color: Theme.of(context).dialogBackgroundColor,
borderRadius: const BorderRadius.only( borderRadius: const BorderRadius.only(
@ -176,7 +176,7 @@ class _LogsFiltersModalWidgetState extends State<LogsFiltersModalWidget> {
children: [ children: [
Expanded( Expanded(
child: ListView( child: ListView(
physics: 400 < MediaQuery.of(context).size.height physics: (Platform.isIOS ? 416 : 400) < MediaQuery.of(context).size.height
? const NeverScrollableScrollPhysics() ? const NeverScrollableScrollPhysics()
: null, : null,
children: [ children: [