python - 如何更改 GTK 中的字体大小？

Question

有没有一种简单的方法可以更改 GTK 中文本元素的字体大小？现在我能做的最好的事情就是在标签上做 set_markup，用一些愚蠢的东西，比如:

lbl.set_markup("<span font_desc='Tahoma 5.4'>%s</span>" % text)

这 1) 需要我设置字体，2) 似乎有很多开销(必须解析标记)，以及 3) 更改按钮等的字体大小会很烦人。有没有更好的办法？

Answer 1

如果你想在你的应用程序中整体改变字体，我会把这个工作留给 gtkrc(然后变成一个谷歌问题，“gtkrc 字体”查询将我们带到 this ubuntu forums link，它有以下片段gtkrc 文件):

style "font"
{
font_name = "Corbel 8"
}
widget_class "*" style "font"
gtk-font-name = "Corbel 8"

(将字体替换为您/用户需要的字体)

然后，用户将获得一致的体验，并且能够轻松更改设置，而无需他们输入代码，您也无需处理维护与个人配置相关的代码的开销。我知道如果您对 widget_class 有更精确的定义，您可以使此设置更具体。

YMMV 适用于不同平台，但据我所知，如果使用 GTK，此文件始终存在于某个位置，并允许用户负责演示细节。