変更するには、どうすればいいでフォントサイズGTK?

Question

あかかわらず、全ての文字サイズの変更にあたっては、テキストの要素GTK?現在エクスペディアのキャンセにしかできないな set_markup ラベルに、何かのように:

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

この1が必要ですいフォントを指定し,2)のように多くのオーバーヘッドを解析するマークアップを含む)、3)そのうえでの迷惑に変える文字サイズのボタンです。ありそうです。

Answer 1

変更したい場合はフォント全体のア(s)は、今までこの仕事gtkrc(それがgoogleの質問は、"gtkrcフォント"のクエリに このubuntuのフォーラムリンク る以下のスニペットにはgtkrcファイル):

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

(交換してフォントにつき/ユーザーが必要)

それは、ユーザーのごく一貫した経験を変更することができるようにな設定が容易でなくて似てコードしなく必要な対応のオーバーヘッドの維持お客様の個人設定関連のコードです。私は理解できるここでの設定により特定した場合より精密な定義にwidget_class.

YMMVたがいろいろなプラットフォームがAFAIKこのファイルは常に現在一部の箇所の場合は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)