Recientemente actualicé a Ubuntu 15.04 con Gnome 3.16, que está funcionando muy bien en mi máquina (a pesar de lo que encontré en muchos foros de la web). Sin embargo, al tener una pantalla de DPI alta (13.3 "con 1920x1080) necesito escalar todo el sistema para usarla. Hay una configuración para...