Gnome 3.16 Skala HiDPI hanya menerima bilangan bulat

Saya baru-baru ini ditingkatkan ke Ubuntu 15.04 dengan Gnome 3.16, yang bekerja sangat baik pada mesin saya (terlepas dari apa yang saya temukan di banyak forum di seluruh web). Namun, memiliki layar DPI tinggi (13,3 "dengan 1920x1080) saya perlu skala seluruh sistem untuk menggunakannya. Ada pengaturan untuk itu di TweakTool, tetapi sepertinya hanya menerima bilangan bulat sebagai faktor penskalaan.

Adakah yang tahu tentang solusi untuk ini? Penskalaan dengan dua terlalu besar untuk layar saya. Nilai yang saya inginkan mendekati 1.2

Bantuan apa pun akan sangat dihargai!

Saya memeriksa dengan instalasi Fedora 21 saya di mana saya memiliki Gnome 3.14.2 dan sepertinya tidak mungkin untuk menetapkan nilai yang Anda inginkan:

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

Asumsi saya:

• Ada pengaturan lain untuk mencapai apa yang Anda inginkan. Satu-satunya hal yang terlintas dalam pikiran saya adalah terkait rendering font, meskipun itu tidak persis apa yang Anda cari.
• Adalah kesalahan bahwa kunci hanya menerima bilangan bulat sebagai tipe data dan Anda harus mengajukan bug.

Saya tidak yakin apakah ini dapat diselesaikan atau tidak, tetapi ada dua opsi penskalaan di Gnome untuk mencapai ini. Atribut "skala jendela" yang Anda lakukan menerima 1 atau 2 (atau 0, tapi ini "tidak terdefinisi", saya pikir). Jika mau, Anda dapat melakukan penskalaan teks, yang menerima angka mengambang.

Di Gnome Tweak Tool, ini tersedia di bawah bagian font. Atau, Anda dapat mengakses keduanya di dconf-editor di bawah org.gnome.desktop.interfaceSaya perhatikan opsi ini cenderung berfungsi lebih baik, karena Gnome Tweak Tool terkadang tidak dapat memperbarui pengaturan dengan benar, menyebabkan masalah penskalaan yang aneh.

Penskalaan pecahan tidak didukung secara resmi pada versi yang lebih rendah dari 3.32dan tidak didukung sama sekali di dalam GNOME dalam versi yang lebih rendah dari 3.28.

Anda tetap bisa mendapatkan efek yang sama pada 3.16 dengan xrandr .

Anda dapat melakukannya jika Anda beralih ke server tampilan Wayland: https://www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux

Jika tidak, satu-satunya pilihan Anda tampaknya akan meningkatkan ke versi distro dengan versi GNOME yang lebih baru. Fungsi ini tersedia di Ubuntu 19.04: https://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04

Penskalaan non-integer belum (belum) didukung di Gnome dan oleh karena itu Ubuntu. Meskipun demikian, adalah mungkin untuk mencapai dengan beberapa solusi menggunakan xrandr, yang melibatkan peningkatan dan penurunan berikutnya, saya tidak bisa merekomendasikan ini karena sangat intensif CPU / GPU dan dilengkapi dengan kebiasaan dan masalah lain dan tidak serta merta menghasilkan hasil yang diinginkan . Ada banyak perdebatan dan perdebatan yang sedang berlangsung tentang r / linux di reddit jika Anda tertarik dan di sini juga ada artikel dari salah satu pengembang dasar (distro berbasis Ubuntu) yang berbicara lebih banyak tentang DPI Tinggi secara mendalam: tautan . Semoga ini bisa membantu sedikit.