Gnome 3.16 масштабування HiDPI приймає лише цілі числа

Нещодавно я модернізував Ubuntu 15.04 з Gnome 3.16, який дуже добре працює на моїй машині (незважаючи на те, що я знайшов на багатьох форумах у мережі). Однак, маючи високий екран DPI (13,3 "з 1920х1080), я потребую масштабування всієї системи, щоб використовувати його. Існує налаштування для цього в TweakTool, але це, здається, приймає цілі числа як коефіцієнт масштабування.

Хтось знає про вирішення цього питання? Масштабування на два - занадто велике для мого екрана. Я бажаю, щоб значення було ближче до 1,2

Будь-яка допомога буде дуже вдячна!

Я перевірив свою установку Fedora 21, де у мене є Gnome 3.14.2, і, здається, неможливо встановити бажане значення:

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

Мої припущення:

• Є ще одна установка для досягнення того, що ви хочете. Єдине, що мені спадає на думку, - це пов’язана візуалізація шрифту, хоча це не зовсім те, що ви шукаєте.
• Помилково, що ключ приймає лише цілі числа як тип даних, і ви повинні подати помилку.

Я не впевнений, вирішили це чи ні, але в Gnome є два варіанти масштабування для досягнення цього. Атрибут "масштабування вікон", який ви робите, або приймає 1 або 2 (або 0, але я думаю, що це "невизначено"). Якщо ви хочете, ви можете зробити масштабування тексту, яке приймає плаваючі числа.

У Gnome Tweak Tool це доступно у розділі шрифтів. Крім того, ви можете отримати доступ до обох редакторів dconf, коли org.gnome.desktop.interfaceя помітив, що ця опція, як правило, працює краще, оскільки Gnome Tweak Tool іноді не може правильно оновити налаштування, викликаючи дивні проблеми масштабування.

Дробове масштабування офіційно не підтримується у версіях, нижчих 3.32та не підтримуваних у GNOME у версіях нижче 3.28.

Ніколи не можна отримати однаковий ефект на 3.16 за допомогою xrandr .

Ви можете це зробити, якщо перейти на сервер дисплеїв Wayland: https://www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux

Інакше, здається, єдиним варіантом буде оновлення до версії дистрибутива з новою версією GNOME. Ця функція доступна в Ubuntu 19.04: https://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04

Неціле масштабування ще не підтримується в Gnome, а тому Ubuntu. Хоча, можливо, досягти деяких обхідних шляхів за допомогою xrandr, що передбачає збільшення масштабу та подальше зменшення масштабу, я не можу рекомендувати цього, оскільки це дуже інтенсивно CPU / GPU і має інші химерності та проблеми і не обов'язково призводить до бажаного результату . Існує багато дискусій та дискусій щодо r / linux на reddit, якщо вас цікавить, і ось також стаття одного з елементарних розробників (дистрибутива на основі Ubuntu), який розповідає трохи більше про High DPI в глибині: посилання . Сподіваюсь, це трохи допомагає.