Comment puis-je changer la taille de la police dans GTK?

Question

Y at-il un moyen facile de changer la taille de la police des éléments de texte dans GTK? En ce moment, le mieux que je puisse faire est de faire set_markup sur une étiquette, avec quelque chose de stupide comme:

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

1) me oblige à définir la police, 2) semble être beaucoup de frais généraux (ayant pour analyser le balisage) et 3) rendrait gênant pour changer la taille des caractères des boutons et autres. Y at-il une meilleure façon?

Answer 1

Si vous voulez changer la police générale dans votre application (s), je quitterais ce travail à gtkrc (devient alors une question de Google, et la requête « gtkrc police » nous amène à ce forum ubuntu lien qui a l'extrait suivant du fichier gtkrc):

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

(remplacer la police avec celui que vous besoin / utilisateur)

Ensuite, l'utilisateur obtiendra une expérience cohérente et sera en mesure de modifier facilement les paramètres sans avoir besoin d'eux pour fourrer dans le code et sans que vous ayez besoin de gérer la charge de maintenir votre code lié à la configuration personnelle. Je comprends que vous pouvez effectuer ce réglage plus précis si vous avez une définition plus précise pour le widget_class.

YMMV pour les plates-formes différentes, mais ce fichier est AFAIK toujours présent à un endroit si GTK est utilisé, et permet à l'utilisateur d'être en charge des détails de la présentation.

Answer 2

En C, vous pouvez faire:

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

Dans PyGTK, je crois qu'il est quelque chose comme:

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