Manual resize

RealPlayer is now resizable. Just hold your mouse over an outside edge of the Player and, when you see the double arrow, click, hold and drag RealPlayer to the size you’d like.