pop menu

Mobile-Artificial-Intelligence · Jul 9, 2024 · 4c2eaa7 · 4c2eaa7
1 parent b33e562
commit 4c2eaa7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/ui/mobile/buttons/menu_button.dart b/lib/ui/mobile/buttons/menu_button.dart
@@ -136,6 +136,7 @@ class _MenuButtonState extends State<MenuButton> {
           title: const Text('App Settings'),
           onTap: () {
             options.clear();
+            Navigator.pop(context); // Close the menu
             Navigator.pushNamed(
               context,
               '/settings'
@@ -149,6 +150,7 @@ class _MenuButtonState extends State<MenuButton> {
           contentPadding: const EdgeInsets.symmetric(horizontal: 8.0),
           title: const Text('About'),
           onTap: () {
+            Navigator.pop(context); // Close the menu
             Navigator.pushNamed(context, '/about');
           },
         ),