Gruppen nach Spielern durchsuchen #147

Merged
flixcoo merged 2 commits from enhancement/136-gruppen-nach-spielern-durchsuchen into development 2026-01-10 20:27:53 +00:00
Showing only changes of commit 6f0e5ba5c2 - Show all commits

View File

@@ -140,7 +140,11 @@ class _ChooseGroupViewState extends State<ChooseGroupView> {
filteredGroups.clear();
filteredGroups.addAll(
widget.groups.where(
(group) => group.name.toLowerCase().contains(query.toLowerCase()),
(group) =>
group.name.toLowerCase().contains(query.toLowerCase()) ||
group.members.any(
(player) => player.name.toLowerCase().contains(query.toLowerCase()),
),
),
);
}