id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,phab_field
4201,Lobby playername gamelist filter,elexis,,"With an increasing number of players in the lobby (see also #4159) it becomes harder to find the one game where some player is in.

Similar to the replay menu, there should be a text element that allows filtering the gamelist for either playernames or gamenames. It should support autocompleting (for both player- and gamenames).

The code can mostly be transfered from `gui/replay_menu/`.
",enhancement,new,Should Have,Backlog,UI & Simulation,,simple,,