Archive pour octobre 2008

Des polices des thèmes GTK

Quelque peu après la rédaction de mon article De l’esprit des thèmes GTK,
je me suis aperçu qu’un élément important d’une interface graphique était
aussi la police d’écriture, contrôlée par la propriété
font_name. Quand on voit GNOME à partir duquel on peut
paramétrer une seule police pour les contrôles GTK, on se dit que
c’est normal que tout paraisse si gros ! Changer la police selon le widget
permettrait un peu plus de souplesse et donnerait un peu de gueule à
n’importe quel thème. Lire la suite ‘Des polices des thèmes GTK’

De l’esprit des thèmes GTK

Je profite de cet article pour mettre quelques notes sur la création et
l’édition de thèmes GTK… A part le fait que c’est un bon divertissement
lors du week-end, j’ai pensé que se plonger là-dedans pourrait non seulement
me faire apparaître les défauts de GTK, mais aussi de me confronter à un
autre genre d’habillage que le CSS. Hé oui, après tout, faire du CSS c’est
appliquer un thème sur un contenu aussi ! Lire la suite ‘De l’esprit des thèmes GTK’