From ff250e2d7ff0949663a07b6a1d7733c9162f8af3 Mon Sep 17 00:00:00 2001 From: ggurdin <46800240+ggurdin@users.noreply.github.com> Date: Wed, 30 Jul 2025 16:38:57 -0400 Subject: [PATCH] chore: don't allow selection of symbol tokens (#3589) --- lib/pages/chat/events/html_message.dart | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/pages/chat/events/html_message.dart b/lib/pages/chat/events/html_message.dart index 43d9e59e3..59f0f5e1f 100644 --- a/lib/pages/chat/events/html_message.dart +++ b/lib/pages/chat/events/html_message.dart @@ -157,7 +157,7 @@ class HtmlMessage extends StatelessWidget { pangeaMessageEvent?.messageDisplayRepresentation?.tokens ?.where( (t) => - t.pos != "PUNCT" && + !["PUNCT", "SYM"].contains(t.pos) && !t.lemma.text.contains(RegExp(r'[0-9]')) && t.lemma.text.length <= 50, )