mvesikiv/boardgametimer — pull request #8 by Waiski (2014-08-11 12:32:28+00:00)
Title: Scroll the players list to always show the active player.

Just in case the list does not fit all the way to the screen, the list is smooothly scrolled to the position of the active player.