我怎样才能改变GTK字体的大小?(How can I change the font size in

2019-09-23 09:11发布

有一种简单的方法来改变在GTK文本元素的字体大小? 现在我能做的最好的是做set_markup的标签上,与像一些愚蠢的:

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

这1)要求我设置字体,2)似乎是一个很大的开销(不必解析标记),和3)将使其讨厌改变按钮和这样的字体大小。 有没有更好的办法?

Answer 1:

如果你想在你的应用程序(一个或多个)整体改变字体,我会离开这个工作的gtkrc(然后变成一个谷歌的问题,和“的gtkrc字体”查询给我们带来了这个Ubuntu论坛链接 ,其具有的在下面的代码片段gtkrc文件):

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

(替换一个你/用户需要的字体)

然后,用户将获得一致的体验,并能够轻松地更改设置,而不需要他们的代码,并没有你需要处理维护用户个人配置相关的代码的开销捅。 我明白了,你可以让这个设定更具体的,如果您对widget_class一个更精确的定义。

因人而异针对不同的平台,但据我所知这个文件是始终存在的,如果正在使用GTK某个位置,并允许用户负责的表现的细节。



Answer 2:

在C语言中,你可以这样做:

gtk_widget_modify_font(lbl, pango_font_description_from_string("Tahoma 5.4"));

在PyGTK的,我相信这是这样的:

pangoFont = pango.FontDescription("Tahoma 5.4")
lbl.modify_font(pangoFont)


文章来源: How can I change the font size in GTK?