Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Hidpi improvements2 #2016
Some more fixes for HiDPI screens:
May need some more testing on platforms different from Linux Ubuntu HD (141 dpi) and HiDPI (282 dpi) screens.