fix null safety

2025-05-28 11:04:18 +02:00 · 2025-05-28 11:04:18 +02:00 · 0c4a6469cc
commit 0c4a6469cc
parent 6f5a28678b
2 changed files with 1 additions and 138 deletions
--- a/Frontend/lib/mih_components/mih_package_components/mih_package_window.dart
+++ b/Frontend/lib/mih_components/mih_package_components/mih_package_window.dart
@ -198,8 +198,7 @@ class _MihPackageWindowState extends State<MihPackageWindow> {
            ),
          ),
          Visibility(
-            visible:
-                widget.menuOptions != null || widget.menuOptions!.isNotEmpty,
+            visible: (widget.menuOptions?.isNotEmpty ?? false),
            child: Positioned(
              top: 10,
              right: 10,