有一种简单的方法来改变在GTK文本元素的字体大小? 现在我能做的最好的是做set_markup
的标签上,与像一些愚蠢的:
lbl.set_markup("<span font_desc='Tahoma 5.4'>%s</span>" % text)
这1)要求我设置字体,2)似乎是一个很大的开销(不必解析标记),和3)将使其讨厌改变按钮和这样的字体大小。 有没有更好的办法?
有一种简单的方法来改变在GTK文本元素的字体大小? 现在我能做的最好的是做set_markup
的标签上,与像一些愚蠢的:
lbl.set_markup("<span font_desc='Tahoma 5.4'>%s</span>" % text)
这1)要求我设置字体,2)似乎是一个很大的开销(不必解析标记),和3)将使其讨厌改变按钮和这样的字体大小。 有没有更好的办法?
如果你想在你的应用程序(一个或多个)整体改变字体,我会离开这个工作的gtkrc(然后变成一个谷歌的问题,和“的gtkrc字体”查询给我们带来了这个Ubuntu论坛链接 ,其具有的在下面的代码片段gtkrc文件):
style "font"
{
font_name = "Corbel 8"
}
widget_class "*" style "font"
gtk-font-name = "Corbel 8"
(替换一个你/用户需要的字体)
然后,用户将获得一致的体验,并能够轻松地更改设置,而不需要他们的代码,并没有你需要处理维护用户个人配置相关的代码的开销捅。 我明白了,你可以让这个设定更具体的,如果您对widget_class一个更精确的定义。
因人而异针对不同的平台,但据我所知这个文件是始终存在的,如果正在使用GTK某个位置,并允许用户负责的表现的细节。
在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)