Gnome 3.18では、gnome Tweak拡張機能を使用して、ウィンドウのスケーリングを増やす方法を知っています。ただし、ウィンドウのスケーリングは整数値です。 1(デフォルト)に定義されたWindowsのスケーリング。インターフェイスの要素が1980x1280、HiDPIのラボトップ14で小さすぎます。しかし、ウィンドウのスケーリングが2に定義されているため、再起動後でも、要素は非常に大きくなります。 Gnome 3.18で、ウィンドウスケーリングではなく、10進数値のターミナルを使用して「グローバル」DPIを変更する方法を教えてください。前もって感謝します !
.Xresourcesをホームに作成し、行を追加します。
Xft.dpi:[DPI値]
$ xrdb -merge ~/.Xresources
4kディスプレイの場合、230 dpiは正常に動作します