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 eso en TweakTool, pero solo parece aceptar enteros como factor de escala.
¿Alguien sabe acerca de una solución para esto? Escalar en dos es demasiado grande para mi pantalla. El valor que quiero está más cerca de 1.2
¡Cualquier ayuda será apreciada!
gnome
15.04
ubuntu-gnome
scaling
Severin
fuente
fuente
Respuestas:
Verifiqué con mi instalación de Fedora 21 donde tengo Gnome 3.14.2 y no parece posible establecer el valor deseado:
Mis suposiciones:
fuente
No estoy seguro de si esto se resolvió o no, pero hay dos opciones de escala en Gnome para lograr esto. El atributo "escala de ventana" que está haciendo acepta 1 o 2 (o 0, pero creo que esto es "indefinido"). Si lo desea, puede escalar el texto, que acepta números flotantes.
En Gnome Tweak Tool, está disponible en la sección de fuente. Alternativamente, puede acceder a ambos en el editor dconf en
org.gnome.desktop.interface
He notado que esta opción tiende a funcionar mejor, ya que Gnome Tweak Tool a veces no puede actualizar la configuración correctamente, causando problemas de escalado extraños.fuente
El escalado fraccionario no se admite oficialmente en versiones anteriores
3.32
y no se admite en absoluto dentro de GNOME en versiones inferiores a3.28
.Sin embargo, puede obtener el mismo efecto en 3.16 con xrandr .
fuente
Puede hacerlo si cambia al servidor de visualización de Wayland: https://www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux
De lo contrario, su única opción parecería ser actualizar a una versión de la distribución con una versión más nueva de GNOME. Esta funcionalidad está disponible en Ubuntu 19.04: https://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04
fuente
El escalado no entero (todavía) no es compatible con Gnome y, por lo tanto, con Ubuntu. Aunque es posible lograrlo con algunas soluciones usando xrandr, que implica un aumento de escala y una reducción de escala posterior, no puedo recomendar esto, ya que requiere mucha CPU / GPU y viene con otras peculiaridades y problemas y no necesariamente conduce al resultado deseado. . Hay muchos debates y discusiones en curso sobre r / linux en reddit si está interesado y aquí también hay un artículo de uno de los desarrolladores elementales (una distribución basada en Ubuntu) que habla un poco más sobre High DPI en profundidad: enlace . Espero que esto ayude un poco.
fuente