High DPI scaling

The PA.com main menu doesn't scale to Windows' DPI setting. The menu stays exactly the same size in pixels, which is inconvenient for high-DPI screens that really need this setting.

The fonts do scale, but everything get cramped together, as menu items do not scale, and neither does the menu window itself.

Using PA.com 11.2 on Windows 7 x64 and 125% DPI scale.