3
Comment augmenter la taille de la police d'un widget Texte?Comment augmenter la taille de la police d'un widget Texte?
Comment augmenter la taille de la police d'un widget Texte?Comment augmenter la taille de la police d'un widget Texte?
Il existe plusieurs façons de spécifier une police: la plus simple est un tuple de la forme (family, size, style)
.
import Tkinter as tk
root=tk.Tk()
text=tk.Text(width = 40, height=4, font=("Helvetica", 32))
text.pack()
root.mainloop()