Until now, the Menu Options window was not resizable. This was a
problem on devices with small screens, like some subnotebooks or other
laptops with 11" screens.
This patch fixes this by allowing to resize the window, giving
preference to the options zone.
64a0da4504
