El escalado de Gnome 3.16 HiDPI solo acepta enteros

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!

Verifiqué con mi instalación de Fedora 21 donde tengo Gnome 3.14.2 y no parece posible establecer el valor deseado:

[btegge@za21 ~]$ gsettings set org.gnome.desktop.interface scaling-factor 1.2
invalid character in number:
  1.2
   ^
[btegge@za21 ~]$ gsettings set org.gnome.desktop.interface scaling-factor 1,2
expected end of input:
  1,2
   ^

Mis suposiciones:

• Hay otra configuración para lograr lo que quieres. Lo único que me viene a la mente es el procesamiento de fuentes relacionado, aunque eso no es exactamente lo que estás buscando.
• Es un error que la clave solo acepte números enteros como tipo de datos y debe presentar un error.

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.interfaceHe 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.

El escalado fraccionario no se admite oficialmente en versiones anteriores 3.32y no se admite en absoluto dentro de GNOME en versiones inferiores a 3.28.

Sin embargo, puede obtener el mismo efecto en 3.16 con xrandr .

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

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.