From 590e344ff5e74a0981c3e6fcc1e8eccb931a7981 Mon Sep 17 00:00:00 2001 From: 21pages Date: Sun, 22 Feb 2026 12:58:41 +0800 Subject: [PATCH] case-insensitive search in group peer filter Signed-off-by: 21pages --- flutter/lib/common/widgets/peers_view.dart | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/flutter/lib/common/widgets/peers_view.dart b/flutter/lib/common/widgets/peers_view.dart index f7df5a3a7..5be5af272 100644 --- a/flutter/lib/common/widgets/peers_view.dart +++ b/flutter/lib/common/widgets/peers_view.dart @@ -570,13 +570,14 @@ class MyGroupPeerView extends BasePeersView { static bool filter(Peer peer) { final model = gFFI.groupModel; if (model.searchAccessibleItemNameText.isNotEmpty) { - final text = model.searchAccessibleItemNameText.value; + final text = model.searchAccessibleItemNameText.value.toLowerCase(); final searchPeersOfUser = model.users.any((user) => user.name == peer.loginName && - (user.name.contains(text) || - user.displayNameOrName.contains(text))); - final searchPeersOfDeviceGroup = peer.device_group_name.contains(text) && - model.deviceGroups.any((g) => g.name == peer.device_group_name); + (user.name.toLowerCase().contains(text) || + user.displayNameOrName.toLowerCase().contains(text))); + final searchPeersOfDeviceGroup = + peer.device_group_name.toLowerCase().contains(text) && + model.deviceGroups.any((g) => g.name == peer.device_group_name); if (!searchPeersOfUser && !searchPeersOfDeviceGroup) { return false; }