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!
gnome
15.04
ubuntu-gnome
scaling
Severin
źródło
źródło
Odpowiedzi:
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:
Moje założenia:
źródło
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.interface
jak 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.źródło
Skalowanie ułamkowe nie jest oficjalnie obsługiwane w wersjach niższych niż
3.32
i 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 .
źródło
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
źródło
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.
źródło