私のGTKフォントはとても大きいです。見栄えを良くしたい場合は、サイズを7に設定する必要がありますが、これは非常に低く、解決策ではないと思います。私はそれがおよそ12であるべきだと思います。7は私にとって回避策のように聞こえます。か否か?
ここでは、サイズ7の見栄えの良い構成を見ることができます。
そして、これがサイズ12の非常に大きな構成です。
私が抱えている問題は、サイズを7に設定しても、大きなフォントを表示するプログラムがいくつかあることです。たとえば、Eclipseには見栄えの良いメニューがありますが、エディタのフォントはまだ非常に大きいです(ただし、10に設定されています)。
更新:1600x900ピクセルの14インチ画面があります。 pxcalc.comによると、私のDPIは131.13に設定する必要があります。だからこれもよさそうだ。
$ xdpyinfo | grep -B2 resolution
screen #0:
dimensions: 1600x900 pixels (310x170 millimeters)
resolution: 131x134 dots per inch
コメントで述べたように、DPIを変更できなかったので、nvidia-driverを削除し、nouveau-driverに置き換えました。今、すべてが順調です。
コマンドラインおよびスクリプトで使用できるもの:xrandr
を使用してDPIをリセットします。
xrandr --dpi 96
表示DPIを低い値に変更します。