ZeroK-RTS/Zero-K — pull request #345 by Skasi (2014-11-05 17:28:43+00:00)
Title: Fixes deluxe playerlist padding

This fixes an issue where a scrollbar appears for the top/bottom 5px of the playerlist. The scrollbar appeared even though the widget-window still had enough empty space available. On small font sizes this would cause the bottom/top-most lines to appear cut-off if players didn't notice the scrollbar.