.png)
私は、3840×2160 グラフィック ディスプレイを搭載した Lenovo P51 で、Cinnamon 3.8.9 を搭載した Mint 19 Tara を実行しています。
vim、Chrome、Libre Office など、プリインストールされていたほとんどのアプリは正常に動作します。しかし、gimp、Zoom、InSync、そして顧客のネットワークに接続するためにインストールしなければならなかった Java ベースの VPN クライアントなど、一部のアプリの GUI は非常に小さいです (ただし、gimp と Zoom が Java で動作するとは思えないので、これは Java 固有の問題ではないと思われます)。フォントとアイコンはかろうじて読める大きさで、サイズが大きいためクリックするのも面倒です。ダイアログ ウィンドウ自体も非常に小さいです。
新しいアイコン セットをインストールして gimp を改善しましたが、アイコンとテキストはまだ少し小さく、他のアプリには役立ちません。
システム設定→フォントでテキストのスケーリング係数を変更しても、既に適切なフォント サイズになっているアプリにのみ影響するため、この問題は Cinnamon とは関係ないと思います。
問題のあるアプリが使用している他の UI/ウィンドウ マネージャー (Qt など) があるかどうか、また、システム全体の設定を調整して修正できるかどうかが気になります。何かアイデアはありますか?
答え1
少なくとも Qt アプリの解決策は見つかりました。Zoom と Insync はどちらも Qt ウィジェット ツールキットを使用して構築されていることがわかりました。
QT_SCALE_FACTOR環境変数を設定すると2、両方のアプリがうまく機能するようになりました。Qt ドキュメント、設定QT_AUTO_SCREEN_SCALE_FACTOR=1（別の環境変数）により、Qt はシステム DPI を尊重するようになりますが、これによりダイアログが私の好みよりも少し大きくなりすぎます。
私が言及した他のアプリでもまだ問題があり、サイズがピクセル数としてハードコードされているのではないかと思います。解決策が見つかったら、別の回答を追加します。