Skalowanie HiDPI w Gnome 3.16 akceptuje tylko liczby całkowite

Niedawno zaktualizowałem system do Ubuntu 15.04 z Gnome 3.16, który działa naprawdę świetnie na moim komputerze (pomimo tego, co znalazłem na wielu forach internetowych). Jednak mając ekran o wysokiej DPI (13,3 "z 1920x1080) muszę przeskalować cały system, aby go użyć. Jest to ustawienie w TweakTool, ale wydaje się, że przyjmuje liczby całkowite jako czynnik skalujący.

Czy ktoś wie o obejściu tego problemu? Skalowanie o dwa jest o wiele za duże dla mojego ekranu. Wartość, której chcę, jest bliższa 1,2

Każda pomoc będzie mile widziana!

Sprawdziłem z moją instalacją Fedory 21, w której mam Gnome 3.14.2 i wydaje się, że nie można ustawić żądanej wartości:

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

Moje założenia:

• Istnieje inne ustawienie, aby osiągnąć to, czego chcesz. Jedyne, co przychodzi mi do głowy, to związane z renderowaniem czcionek, choć nie jest to dokładnie to, czego szukasz.
• To błąd, że klucz akceptuje tylko liczby całkowite jako typ danych i powinieneś zgłosić błąd.

Nie jestem pewien, czy problem został rozwiązany, czy nie, ale istnieją dwie opcje skalowania w Gnome, aby to osiągnąć. Atrybut „skalowania okna” akceptuje 1 lub 2 (lub 0, ale myślę, że jest to „niezdefiniowane”). Jeśli chcesz, możesz wykonać skalowanie tekstu, które akceptuje liczby zmiennoprzecinkowe.

W Gnome Tweak Tool jest to dostępne w sekcji czcionek. Alternatywnie, możesz uzyskać dostęp zarówno do edytora dconf, org.gnome.desktop.interfacejak i zauważyłem, że ta opcja działa lepiej, ponieważ narzędzie Gnome Tweak może czasami nie aktualizować ustawienia poprawnie, powodując dziwne problemy ze skalowaniem.

Skalowanie ułamkowe nie jest oficjalnie obsługiwane w wersjach niższych niż 3.32i wcale nie jest obsługiwane w GNOME w wersjach niższych niż 3.28.

Z xrandr możesz jednak uzyskać ten sam efekt w wersji 3.16 .

Możesz to zrobić, jeśli przełączysz się na serwer wyświetlania Wayland: https://www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux

W przeciwnym razie wydaje się, że jedyną opcją jest uaktualnienie do wersji dystrybucji z nowszą wersją GNOME. Ta funkcja jest dostępna w Ubuntu 19.04: https://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04

Skalowanie niecałkowite nie jest (jeszcze) obsługiwane w Gnome, a zatem w Ubuntu. Chociaż można to osiągnąć za pomocą niektórych obejść przy użyciu xrandr, które obejmuje skalowanie w górę i kolejne skalowanie w dół, nie mogę tego zalecić, ponieważ jest to bardzo intensywne procesor / procesor graficzny i wiąże się z innymi dziwactwami i problemami i niekoniecznie prowadzi do pożądanego rezultatu . Istnieje wiele toczących się debat i sporów na r / linux na reddit, jeśli jesteś zainteresowany, a także artykuł jednego z podstawowych deweloperów (dystrybucja oparta na Ubuntu), który mówi trochę więcej o wysokiej DPI: link . Mam nadzieję, że to trochę pomoże.