我正在尝试将字体设置gnome-terminal为 9.5，这对我来说很理想。我安装了许多编程字体，即 proggy、anonymous-pro、terminus、inconsolata、droid-monovar、consolas、gohu、anka-coder、termsyn 和 montecarlo)。
我尝试过 GNOME 终端、Konsole 和 Xfce4 终端，但它们似乎都不能为任何字体提供“9.5pt”大小（或任何其他分数大小）。
我的字体或终端有问题吗？
如何在终端中设置分数字体大小？