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

Changed options menu

Browse source
This commit is contained in:
Juan Gilsanz Polo 2024-03-09 20:41:49 +01:00
parent 5fdeaa80b7
commit a8d0bd95a6
1 changed files with 11 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
lib/widgets/options_menu.dart
View file

@ -76,6 +76,7 @@ class _OptionsModal extends StatelessWidget {
Widget build(BuildContext context) { Widget build(BuildContext context) {
return AlertDialog( return AlertDialog(
contentPadding: const EdgeInsets.symmetric(vertical: 16), contentPadding: const EdgeInsets.symmetric(vertical: 16),
scrollable: true,
title: Column( title: Column(
children: [ children: [
Icon( Icon(
@ -94,19 +95,17 @@ class _OptionsModal extends StatelessWidget {
), ),
content: ConstrainedBox( content: ConstrainedBox(
constraints: const BoxConstraints( constraints: const BoxConstraints(
maxWidth: 400 maxWidth: 500
), ),
child: SingleChildScrollView( child: Column(
child: Wrap( children: options(value).map((opt) => CustomListTileDialog(
children: options(value).map((opt) => CustomListTileDialog( title: opt.title,
title: opt.title, icon: opt.icon,
icon: opt.icon, onTap: () {
onTap: () { Navigator.pop(context);
Navigator.pop(context); opt.action();
opt.action(); },
}, )).toList()
)).toList()
),
), ),
), ),
actions: [ actions: [