If you use Gnome, they [recently added high DPI display support][1]. [1]: http://www.gnome.org/press/2013/09/gnome-foundation-announces-gnome-3-10/ http://www.

If you use Gnome, they [recently added high DPI display support][1]. [1]: http://www.gnome.org/press/2013/09/gnome-foundation-announces-gnome-3-10/ http://www.gnome.org/press/2013/09/gnome-foundation-announce...