Cla*_*diu 7 python gtk fonts pygtk gtk2
有没有一种简单的方法来改变GTK中文本元素的字体大小?现在,我能做的最好的事情就是set_markup在标签上做,有些傻话:
lbl.set_markup("<span font_desc='Tahoma 5.4'>%s</span>" % text)
Run Code Online (Sandbox Code Playgroud)
这1)要求我设置字体,2)似乎需要很多开销(必须解析标记),3)会让改变按钮等字体大小变得烦人.有没有更好的办法?
如果你想在你的应用程序(一个或多个)整体改变字体,我会离开这个工作的gtkrc(然后变成一个谷歌的问题,和"的gtkrc字体"查询给我们带来了这个Ubuntu论坛链接,其具有的在下面的代码片段gtkrc文件):
style "font"
{
font_name = "Corbel 8"
}
widget_class "*" style "font"
gtk-font-name = "Corbel 8"
Run Code Online (Sandbox Code Playgroud)
(将字体替换为您/用户需要的字体)
然后,用户将获得一致的体验,并且可以轻松地更改设置,而无需他们查看代码,也无需处理维护与个人配置相关的代码的开销.据我所知,如果你有更精确的widget_class定义,你可以使这个设置更具体.
YMMV适用于不同的平台,但如果使用GTK,AFAIK此文件始终存在于某个位置,并允许用户负责演示详细信息.
| 归档时间: |
|
| 查看次数: |
15512 次 |
| 最近记录: |