fix: #481

DanXi-Dev · Jan 10, 2025 · 9a7288b · 9a7288b
1 parent c86ed34
commit 9a7288b
Showing 1 changed file with 16 additions and 13 deletions.
diff --git a/lib/page/forum/hole_detail.dart b/lib/page/forum/hole_detail.dart
@@ -891,19 +891,22 @@ class BBSPostDetailState extends State<BBSPostDetail> {
         },
         child: Text(S.of(context).share_floor),
       ),
-      PlatformContextMenuItem(
-        menuContext: menuContext,
-        onPressed: () async {
-          setState(() {
-            if ((_renderModel as Normal).selectedPerson != null) {
-              (_renderModel as Normal).selectedPerson = null;
-            } else {
-              (_renderModel as Normal).selectedPerson = e.anonyname;
-            }
-          });
-        },
-        child: Text((_renderModel as Normal).selectedPerson != null ? S.of(context).show_all_replies : S.of(context).show_this_person),
-      ),
+      if (_renderModel
+          case Normal(selectedPerson: var selectedPerson, hole: _)) ...[
+        PlatformContextMenuItem(
+          menuContext: menuContext,
+          onPressed: () async {
+            setState(() {
+              var model = _renderModel as Normal;
+              model.selectedPerson =
+                  model.selectedPerson != null ? null : e.anonyname;
+            });
+          },
+          child: Text(selectedPerson != null
+              ? S.of(context).show_all_replies
+              : S.of(context).show_this_person),
+        ),
+      ],
       PlatformContextMenuItem(
         menuContext: menuContext,
         isDestructive: true,