Fixed a bug with the splash screen.

On systems that automatically resize the window when it is shown (like
on StumpWM), the splash screen was being shown too small at the
beginning and then was fixed right at the end.