[MPlayer-dev-eng] [PATCH] Adding the Half Size to gmplayer menu

[Diego Biurrun]

Pierre Marc Dumuid writes:
> Here is a patch to add the missing "Half size" menu item.

It's full of cosmetics, rejected.  Please resend without whitespace
changes.

Diego