f88039 Merge pull request #1206 from shun-iwasawa/fix_high_dpi

12 files Merged by Jeremy Bullock 7 years ago , Committed by GitHub 7 years ago ,
    Merge pull request #1206 from shun-iwasawa/fix_high_dpi
    
    Fix GUI glitches with high dpi monitors