Media info changes size after hide/show of playlist

[GoogleCodeExporter]

See the attachments in order:

1 - Initial state.
2 - After pressing F9.
3 - After pressing F9 again.

Also, I think it should be possible to hide media info when playing audio 
tracks (currently the feature is disabled -grayed out- in the menu).

mplayer version is 1.0.4.

Original issue reported on code.google.com by carlosjo...@gmail.com on 15 Aug 2011 at 11:55

Attachments:

• 2011-08-15-085304_980x394_scrot.png
• 2011-08-15-085316_536x186_scrot.png
• 2011-08-15-085326_976x492_scrot.png

[GoogleCodeExporter]

This is how I chose to make the player work, as I like to see information about 
the media during playback.

Original comment by kdeko...@gmail.com on 22 Aug 2011 at 1:39

[GoogleCodeExporter]

That's fine, but what I'm saying is that after restoring the "show playlist" 
view the height of the media info panel is different from what it was 
previously to the "hide playlist" step. That is 1 != 3 above (although no 
problem that 1 != 2). It's ok that the info remains visible while the playlist 
is hidden (as in 2), but I don't think that the size of the panel must change 
from that chosen by the user (in 1) when the playlist is visible.

Original comment by carlosjo...@gmail.com on 22 Aug 2011 at 1:48