Gnome 3.16 Skala HiDPI hanya menerima bilangan bulat


15

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.

masukkan deskripsi gambar di sini

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!


1
Anda dapat menemukan beberapa petunjuk dalam tutorial archlinux pada subjek
azmeuk

Jawaban:


0

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.

Itulah kesalahan yang sama persis yang saya dapatkan juga
Severin

Gnome hanya menerima faktor penskalaan bilangan bulat adalah batasan yang diketahui sampai sekarang.
JAB

0

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.


0

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 .



-1

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.


1
Pada Gnome 3.28 sebenarnya mungkin sekarang, tapi terima kasih atas komentar Anda.
Severin

1
@Severin Perbaiki saya jika saya salah, tetapi bukankah Gnome 3.28 hanya mendukung penskalaan pecahan melalui sesi Wayland dalam fitur eksperimental, artinya belum didukung secara resmi? (lihat tautan ) Mengenai "ini tidak memberikan jawaban untuk pertanyaan". Saya kira begitu. Jika tidak didukung di 3,28, itu pasti tidak dalam 3,16. Bagaimana cara mengatasinya? Saya menyebutkan prosedur menggunakan xrandr. Saya pikir ini masih bisa menjadi solusi yang valid untuk OP. Seharusnya saya menyediakan sumber. Maaf.
Menggoyangkan
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.