Comment faire pour augmenter la taille de police d'un widget de Texte?

Comment augmenter la taille de police d'un widget Texte?

OriginalL'auteur A Tenzin Giovannini Glassel | 2010-11-22