Developer postOriginal post (opens in a new tab)

Window resizing patch

I've uploaded a small patch to fix window resizing issues, particularly for users with high-DPI displays (e.g. Retina on Mac OS). If you have had trouble maximizing the window, or if the window's contents shrink to half size if you resize it on a high-DPI display, try opting in to the "beta" branch and let me know if the patch fixes it.