ZeroK-RTS/Zero-K-Infrastructure — pull request #283 by xponen (2014-12-11 13:37:40+00:00)
Title: ZKL: Linux workaround for playerListBox always cut off last 3 player name

Fixed by adding 3 dummy empty player

3 line might sound benign, but those 3 line make you wonder if you missed like 10 more player. Just silly annoyance :P

Related to this http://zero-k.info/Forum/Thread/10169
It sound worse in the thread, might be because of DPI scaling. Will recheck later. Don't need to Pull yet)