@thorneynz @jetbrains apparently all Java apps are basically busted with high DPI on Windows, from what I read.