Top 10 times headers aren't properly resized on initialization #160
Description
This happens in level manager and is just a very minor annoyance.
This is how it looks when opening level manager before clicking on any levels:
This is how it looks when clilcking on any level (even if the level has no times in top 10) and will also stay this way even if no level is selected anymore:
Would be nice if the headers looked like this even before clicking on any levels.