Die HiDPI-Skalierung von Gnome 3.16 akzeptiert nur Ganzzahlen

Ich habe kürzlich ein Upgrade auf Ubuntu 15.04 mit Gnome 3.16 durchgeführt, das auf meinem Computer wirklich großartig funktioniert (trotz dessen, was ich in vielen Foren im Internet gefunden habe). Mit einem hochauflösenden Bildschirm (13,3 "bei 1920 x 1080) muss ich jedoch das gesamte System skalieren, um es zu verwenden. Es gibt eine Einstellung für das TweakTool, aber es scheint nur Ganzzahlen als Skalierungsfaktor zu akzeptieren.

Kennt jemand eine Problemumgehung dafür? Das Skalieren um zwei ist für meinen Bildschirm viel zu groß. Der von mir gewünschte Wert liegt näher bei 1,2

Jede Hilfe wird sehr geschätzt!

Ich habe meine Fedora 21-Installation überprüft, bei der Gnome 3.14.2 installiert ist, und es scheint nicht möglich zu sein, den gewünschten Wert festzulegen:

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

Meine Annahmen:

• Es gibt eine andere Einstellung, um das zu erreichen, was Sie wollen. Das einzige, was mir in den Sinn kommt, ist das Rendern von Schriftarten, obwohl das nicht genau das ist, wonach Sie suchen.
• Es ist ein Fehler, dass der Schlüssel nur Ganzzahlen als Datentyp akzeptiert und Sie einen Fehler melden sollten.

Ich bin nicht sicher, ob dies behoben wurde oder nicht, aber es gibt zwei Skalierungsoptionen in Gnome, um dies zu erreichen. Das Attribut "Fensterskalierung", das Sie ausführen, akzeptiert entweder 1 oder 2 (oder 0, aber dies ist meiner Meinung nach "undefiniert"). Wenn Sie möchten, können Sie eine Textskalierung durchführen, die gleitende Zahlen akzeptiert.

In Gnome Tweak Tool ist dies im Abschnitt "Schriftarten" verfügbar. Alternativ können Sie im dconf-Editor unter auf beide zugreifen. org.gnome.desktop.interfaceIch habe festgestellt, dass diese Option tendenziell besser funktioniert, da das Gnome Tweak Tool die Einstellungen manchmal nicht korrekt aktualisieren kann, was zu seltsamen Skalierungsproblemen führt.

Fractional Scaling wird in Versionen unter und in GNOME in Versionen unter offiziell3.32 nicht unterstützt 3.28.

Mit xrandr können Sie dennoch denselben Effekt auf 3.16 erzielen .

Sie können dies tun, wenn Sie auf den Wayland-Anzeigeserver wechseln: https://www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux

Andernfalls besteht Ihre einzige Möglichkeit darin, auf eine Version der Distribution mit einer neueren Version von GNOME zu aktualisieren. Diese Funktionalität ist in Ubuntu 19.04 verfügbar: https://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04

Nicht ganzzahlige Skalierungen werden in Gnome und daher auch in Ubuntu (noch) nicht unterstützt. Obwohl es bei einigen Problemumgehungen möglich ist, xrandr zu verwenden, was eine Hochskalierung und eine anschließende Herunterskalierung beinhaltet, kann ich dies nicht empfehlen, da es sehr CPU- / GPU-intensiv ist und mit anderen Macken und Problemen verbunden ist und nicht unbedingt zum gewünschten Ergebnis führt . Es gibt eine Menge Debatten und Auseinandersetzungen über R / Linux bei reddit, wenn Sie interessiert sind, und hier ist auch ein Artikel von einem der elementaren Entwickler (eine auf Ubuntu basierende Distribution), der ein bisschen mehr über High DPI spricht: link . Hoffe das hilft ein bisschen.