Remember last size of mini player (fixes #96)