Gnome 3.16 HiDPIスケーリングは整数のみを受け入れます

私は最近、Gnome 3.16を使用してUbuntu 15.04にアップグレードしました。これは、私のマシンで非常にうまく機能しています（Web上の多くのフォーラムで発見したことにもかかわらず）。ただし、高DPI画面（1920x1080で13.3インチ）を使用するには、システム全体をスケーリングして使用する必要があります。TweakToolにはそのための設定がありますが、スケーリング係数として整数のみを受け入れるようです。

誰かがこれの回避策を知っていますか？2倍に拡大するのは、画面には大きすぎます。欲しい値は1.2に近い

どんな助けも大歓迎です！

Gnome 3.14.2があるFedora 21のインストールで確認しましたが、目的の値を設定できないようです。

[btegge@za21 ~]$ gsettings set org.gnome.desktop.interface scaling-factor 1.2
invalid character in number:
  1.2
   ^
[btegge@za21 ~]$ gsettings set org.gnome.desktop.interface scaling-factor 1,2
expected end of input:
  1,2
   ^

私の仮定：

• あなたが望むものを達成するための別の設定があります。頭に浮かぶのはフォントレンダリングに関連するものだけですが、それはまさにあなたが探しているものではありません。
• キーがデータ型として整数のみを受け入れるのは間違いであり、バグを報告する必要があります。

これが解決したかどうかはわかりませんが、Gnomeにはこれを達成するための2つのスケーリングオプションがあります。あなたがしている「ウィンドウスケーリング」属性は、1または2（または0、しかしこれは「未定義」だと思います）を受け入れます。必要に応じて、浮動小数点数を受け入れるテキストスケーリングを実行できます。

Gnome Tweak Toolでは、これはフォントセクションで利用できます。あるいは、org.gnome.desktop.interfaceGnome Tweak Toolが設定を正しく更新できないことがあり、奇妙なスケーリングの問題が発生することがあるため、このオプションがうまく機能する傾向があることに気づいたdconf-editorで両方にアクセスできます。

未満のバージョンでは分数スケーリングが正式にサポートされて3.32おらず、GNOME内のバージョンではでサポートされていません3.28。

それでも、3.16で同じ効果を得ることができます。 のxrandrを。

Waylandディスプレイサーバーに切り替えれば、それを行うことができます：https : //www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux

そうでなければ、あなたの唯一の選択肢は、新しいバージョンのGNOMEでディストリビューションのバージョンにアップグレードすることです。この機能はUbuntu 19.04で利用できます：https ://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04

非整数スケーリングは（まだ）Gnomeでサポートされていないため、Ubuntuではサポートされていません。ただし、アップスケーリングとそれに続くダウンスケーリングを伴うxrandrを使用していくつかの回避策を達成することは可能ですが、これはCPU / GPUを集中的に使用し、他の癖や問題があり、必ずしも望ましい結果にならないため、お勧めできません。興味があれば、redditでr / linuxについて多くの議論や議論が行われています。また、High DPIについてもう少し詳しく説明している初歩的な開発者（Ubuntuベースのディストリビューション）の記事もあります。リンク。これが少し役立つことを願っています。