7

GTKのテキスト要素のフォントサイズを変更する簡単な方法はありますか？今のところ、私ができる最善のことはset_markup、次のようなばかげたラベルで行うことです。

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

これは、1）フォントを設定する必要があり、2）オーバーヘッドが大きいように見え（マークアップを解析する必要がある）、3）ボタンなどのフォントサイズを変更するのが面倒になります。もっと良い方法はありますか？

4

2 に答える 2

9

アプリ全体のフォントを変更したい場合は、この仕事をgtkrcに任せます（その後、Googleの質問になり、「gtkrc font」クエリを使用すると、次のスニペットが含まれるこのubuntuフォーラムのリンクに移動します。 gtkrcファイル）：

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

（フォントをあなた/ユーザーが必要とするものに置き換えてください）

そうすれば、ユーザーは一貫したエクスペリエンスを得ることができ、コードを突っ込む必要がなく、個人の構成関連コードを維持するオーバーヘッドを処理する必要もなく、設定を簡単に変更できます。widget_classの定義がより正確であれば、この設定をより具体的にすることができると理解しています。

さまざまなプラットフォーム用のYMMVですが、GTKが使用されている場合、このファイルは常にどこかに存在し、ユーザーがプレゼンテーションの詳細を担当できるようにします。

于 2009-08-13T00:02:07.970 に答える
3

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)
于 2009-08-12T23:52:32.327 に答える