disallow copying when comment was removed/deleted

2020-09-19 02:03:37 +02:00 · 2020-09-19 02:03:37 +02:00 · e96cb9019b
parent 33f57b7e54
commit e96cb9019b
1 changed files with 1 additions and 1 deletions
--- a/lib/widgets/comment.dart
+++ b/lib/widgets/comment.dart
@ -207,7 +207,7 @@ class Comment extends HookWidget {
    }();

    final actions = Row(children: [
-      if (selectable.value)
+      if (selectable.value && !comment.deleted && !comment.removed)
        _CommentAction(
            icon: Icons.content_copy,
            tooltip: 'copy',