答え1
gnome-tweak-tools
HiDPI画面でUIのサイズを変更するには、フォントサイズ変更要素の設定を使用します。これにより、サイズ変更をより効果的に制御できます。
これはGnomeがGTK 3プログラムのテキストに合わせてUI要素のサイズを自動的に調整するために機能します。
よりきめ細かく制御するには、で行うことができますgnome-tweak-tool
。
gnome-tweak-tools
HiDPI画面でUIのサイズを変更するには、フォントサイズ変更要素の設定を使用します。これにより、サイズ変更をより効果的に制御できます。
これはGnomeがGTK 3プログラムのテキストに合わせてUI要素のサイズを自動的に調整するために機能します。
よりきめ細かく制御するには、で行うことができますgnome-tweak-tool
。