f88039
Merge pull request #1206 from shun-iwasawa/fix_high_dpi Fix GUI glitches with high dpi monitors