Search contact in the contact list of a chat

Many times I need to search for a specific contact in the DC Community chat, with more than a hundred members, to clean it up. Unfortunately there’s no way to easily find someone there (either by name or by address). It would be nice to have a little search/filter input there.

This is at least on Android version, I haven’t tested on other versions yet

I know that DC primarily targets small-ish groups so that might not be needed, but would still be helpful

as long as this is not a ui element that is distracting or clutters UI, it’d be fine (eg. the three-dot menu would be fine)

however, as you pointed out, main target are not large groups, so the few resources we have with the main devs are spent better elsewhere. but maybe someone volunteers doing a PR :slight_smile:

note, however, that just now profiles are subject to change, so it would be a bad timing