GNOME 3.10 actually has some of the better high-DPI screen support you'll find in a Linux desktop, but there are still a few glitches. GNOME 3.12 will