teeworlds/teeworlds — pull request #1279 by Henningstone (2014-12-01 22:42:36+00:00)
Title: [Demoplayer] Make seek bar toggable/hide automatically

This closes #1267; the seekbar in demoplayer will hide after a few seconds, as described by the belonging issue.

It is tested and works fine, exactly as it is supposed to.