如何在运行 Gnome 的 Ubuntu 18.04 中增加特定应用程序的字体大小？

Question

我在我的 Thinkpad x1 Carbon 上安装了 Unity Editor，它的分辨率为2560 x 1440，被认为是 HiDPI。为了处理非常小的字体大小，我安装gnome-tweak-tools并设置了我Fonts Scaling Factor的1.34. 这导致我迄今为止尝试过的每个应用程序中的字体大小都可以接受，并在 Firefox 等程序中进行了一些调整。

但是，Unity 编辑器的 UI 没有字体大小修饰符。在我的机器上看起来像这样：

字体大小小得无法阅读。

我看到在 下gnome-tweak-tools，我可以专门为“窗口标题”或“文档”等内容设置字体大小，但不能为“Unity 编辑器”等设置字体大小。

我可以将“缩放因子”设置得非常高，但这会使其他程序的字体大得无法接受。

我可以修改，常规下Settings的应用程序，下Displays的Scale财产，从100%到200%，但是这使得所有其他应用程序中有一个非常臃肿，几乎unusably大UI。

如何仅更改一个应用程序的字体大小，特别是 Unity Editor？

编辑：顺便说一句，Unity Editor 工程团队似乎没有任何意图来实现字体大小更改器：https : //forum.unity.com/threads/how-to-change-font-size-in -unity-editor.149481/

Answer 1

创建脚本调用ue（Unity 编辑器）。放入其中：

#!/bin/bash
xrandr --dpi 144
unity-editor "$@"    # Or whatever the program is you want to run

使用以下命令将脚本标记为可执行：

chmod a+x ue

使用调用脚本

./ue

• 或者./如果不在当前目录中则替换为目录名
• 或者./如果您已经放置了ue您$PATH喜欢的~/bin或/usr/local/bin

如果您想要双倍放大，请将 144 调整为 192。如果您想要较小的放大倍数，则较小。

脚本启动时屏幕可能会闪烁，但这是正常现象。

长话短说

默认DPI（每英寸点数）为 96。设置为字体大小时增加 4%，这可能不会被注意到。100要确认初始 DPI，请使用以下命令之一：

$ xdpyinfo | grep dots
  resolution:    96x96 dots per inch

$ grep DPI /var/log/Xorg.0.log
[     9.555] (--) NVIDIA(0): DPI set to (43, 44); computed from "UseEdidDpi" X config
[     9.761] (==) modeset(G0): DPI set to (96, 96)

在上面的脚本中，您可以通过将以下行添加到底部xrandr来重置回默认 DPI ：96

xrandr --dpi 96

我从未遇到过这样做的需要，但你可能会遇到。