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