La mise à l'échelle Gnome 3.16 HiDPI accepte uniquement les entiers

J'ai récemment mis à niveau vers Ubuntu 15.04 avec Gnome 3.16, qui fonctionne vraiment très bien sur ma machine (malgré ce que j'ai trouvé sur de nombreux forums sur le Web). Cependant, ayant un écran haute résolution (13,3 "avec 1920x1080), j'ai besoin de mettre à l'échelle l'ensemble du système pour l'utiliser. Il y a un paramètre pour cela dans le TweakTool, mais il ne semble accepter que les entiers comme facteur de mise à l'échelle.

Quelqu'un connaît-il une solution à ce problème? La mise à l'échelle par deux est beaucoup trop grande pour mon écran. La valeur que je veux est plus proche de 1,2

Toute aide sera fortement appréciée!

J'ai vérifié avec mon installation Fedora 21 où j'ai Gnome 3.14.2 et il ne semble pas possible de définir la valeur souhaitée:

[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
   ^

Mes hypothèses:

• Il existe un autre paramètre pour réaliser ce que vous voulez. La seule chose qui me vient à l'esprit est liée au rendu des polices, bien que ce ne soit pas exactement ce que vous recherchez.
• C'est une erreur que la clé n'accepte que des entiers comme type de données et vous devez signaler un bogue.

Je ne sais pas si cela a été résolu ou non, mais il existe deux options de mise à l'échelle dans Gnome pour y parvenir. L'attribut "scaling de la fenêtre" que vous faites accepte soit 1 ou 2 (ou 0, mais je pense que c'est "indéfini"). Si vous le souhaitez, vous pouvez effectuer une mise à l'échelle du texte, qui accepte les nombres flottants.

Dans Gnome Tweak Tool, cela est disponible dans la section des polices. Alternativement, vous pouvez accéder aux deux dans l'éditeur dconf sous org.gnome.desktop.interfaceJ'ai remarqué que cette option a tendance à mieux fonctionner, car Gnome Tweak Tool ne peut parfois pas mettre à jour les paramètres correctement, ce qui provoque des problèmes de mise à l'échelle étranges.

La mise à l'échelle fractionnelle n'est pas officiellement prise en charge sur les versions inférieures à 3.32et pas du tout prise en charge dans GNOME dans les versions inférieures à 3.28.

Vous pouvez néanmoins obtenir le même effet sur 3.16 avec xrandr .

Vous pouvez le faire si vous passez au serveur d'affichage Wayland: https://www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux

Sinon, votre seule option semble être de passer à une version de la distribution avec une version plus récente de GNOME. Cette fonctionnalité est disponible dans Ubuntu 19.04: https://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04

La mise à l'échelle non entière n'est pas (encore) prise en charge dans Gnome et donc Ubuntu. Bien qu'il soit possible de le faire avec certaines solutions de contournement en utilisant xrandr, ce qui implique une mise à l'échelle et une mise à l'échelle ultérieure, je ne peux pas le recommander car il est très consommateur de CPU / GPU et vient avec d'autres bizarreries et problèmes et ne conduit pas nécessairement au résultat souhaité . Il y a beaucoup de débats et d'arguments en cours sur r / linux sur reddit si vous êtes intéressé et voici également un article d'un des développeurs élémentaires (une distribution basée sur Ubuntu) qui parle un peu plus en détail du High DPI en profondeur: lien . J'espère que ça aide un peu.