Font GTK terlalu besar

2

Font GTK saya sangat besar. Ketika saya ingin mereka terlihat bagus, saya harus mengatur ukuran ke 7. Tapi saya pikir ini sangat rendah dan bukan solusinya. Saya pikir itu harus sekitar 12. 7 terdengar seperti solusi bagi saya. Atau tidak?

Di sini Anda dapat melihat konfigurasi tampan dengan ukuran 7:

Pratinjau untuk Ukuran 7

Dan ini adalah konfigurasi yang sangat besar dengan ukuran 12:

Pratinjau untuk ukuran 12

Masalah yang saya miliki adalah, bahwa meskipun saya mengatur ukuran ke 7 ada beberapa program yang masih menampilkan font besar. Misalnya, gerhana memiliki menu yang terlihat bagus, tetapi font di editor masih sangat besar (tetapi disetel ke 10)!


Pembaruan: Saya memiliki layar 14 inci dengan 1600x900 piksel. Menurut pxcalc.com DPI saya harus diatur ke 131.13. Jadi ini terlihat bagus juga.

$ xdpyinfo | grep -B2 resolution
screen #0:
  dimensions:    1600x900 pixels (310x170 millimeters)
  resolution:    131x134 dots per inch
Ethan Leroy
sumber
Apakah Anda mengubah DPI secara manual? DPI 131 tidak normal. Anda harus tetap berpegang pada DPI standar 72, 96, atau 120.
iglvzx
1
DPI digunakan untuk membuat ukuran dalam poin cocok dengan kenyataan. Ada 72 poin per inci, jadi pada 131 DPI font akan menjadi sekitar dua kali ukuran piksel.
Ignacio Vazquez-Abrams

Jawaban:

3

Sesuatu yang dapat Anda gunakan di baris perintah dan ketika membuat skrip: reset DPI menggunakan xrandr:

xrandr --dpi 96
souser12345
sumber
Ini bekerja untuk saya, tetapi mungkin perlu disebutkan bahwa ini mungkin akan memerlukan restart aplikasi; tidak cukup hanya berlari xrand --dpi n.
Joshua Taylor
2

Ubah DPI tampilan ke nilai yang lebih rendah.

Opsi DPI

Ignacio Vazquez-Abrams
sumber
Terima kasih, tapi saya rasa ini bukan masalahnya. Saya akan memperbarui pertanyaan saya dengan output xdpyinfo.
Ethan Leroy
@EthanLeroy Apakah mengubah DPI berpengaruh?
iglvzx
Terima kasih lagi! Ketika saya mencoba mengubah DPI dengan xrandrsaya mendapat kesalahan menceritakan sesuatu tentang failed to get size of gamma for output default. Solusi saya cukup sederhana: Saya menghapus driver nvidia dan menginstal driver nouveau. Semuanya terlihat lebih baik sekarang :-)
Ethan Leroy
1

Seperti yang disebutkan dalam komentar: Saya tidak dapat mengubah DPI, jadi saya menghapus driver nvidia dan menggantinya dengan driver nouveau. Sekarang semuanya baik-baik saja.

Ethan Leroy
sumber
Saya menemukan bahwa setelah saya mengubah DPI dengan xrandr (seperti yang disarankan dalam jawaban @progo), saya harus memulai ulang aplikasi yang terpengaruh.
Joshua Taylor