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

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