Discussion :

[L'AMI Yves]

Bonjour-bonsoir à tous.

Je suis (enfin ?) passé de VB6 à Python 3, et c'est pas de la tarte...!

Présentement, je cherche à changer la taille de police par défaut dans une IHM sous tkinter, et je n'y arrive pas. J'ai trouvé quelques idées grâce à mon ami Google, mais c'était pour Python 2 (si j'ai bien compris pourquoi ça ne marchait pas pour moi...) J'ai aussi parcouru une année de posts sur ce forum, mais je n'ai rien trouvé. J'espère que ce n'est pas par ce que je ne poste pas au bon endroit.

Pour préciser ma demande, j'ajoute que j'ai bien compris que je pourrais préciser la taille de police dans chaque widget, mais c'est justement ce que je voudrais éviter.

Merci de votre aide.

[bistouille]

Salut.

Je ne vois pas trop à quoi cela servirait de vouloir la même taille de police dans toute une application, généralement on utilise plusieurs styles différents de polices.

Tu peux agir en spécifiant cela sur la fenêtre root de l'application en utilisant la méthode .option_add.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
>>> import tkinter as tk
>>> root = tk.Tk()
>>> root.option_add('*font', ('', 45), priority=40) 
>>> label = tk.Label(root, text='plop')
>>> label.grid()

De là, tous les widgets auront par défaut cette taille, note que ça ne fonctionnera pas pour les items canvas text.

[wiztricks]

Salut,

Pour préciser ma demande, j'ajoute que j'ai bien compris que je pourrais préciser la taille de police dans chaque widget, mais c'est justement ce que je voudrais éviter.

Je ne comprend pas trop ce que vous cherchez à faire mais l'extension ttk permet d'associer un Style aux différents widgets et si vous modifiez le Style, tous les widgets correspondants seront aussi modifiés.

- W

[L'AMI Yves]

Merci à Bistouille, je vais essayer. Accessoirement, je me réserve le droit de décider comment je gère les polices sur mon appli.

@Wiztricks : merci aussi d'avoir répondu. Même remarque pour les polices, mais en plus, je ne vois pas comment utiliser cette réponse : je n'ai jamais rencontré l'extension ttk, et j'ai expliqué (enfin, je crois) que je désirais modifier une fois pour toute la taille des polices dans les widgets, pour m'épargner d'avoir à le faire dans chaque widget. Si je ne m'en sors pas avec la réponse de Bistouille, je chercherai de la doc sur l'extension ttk.

AMIcalement.

[wiztricks]

Salut,

je n'ai jamais rencontré l'extension ttk, et j'ai expliqué (enfin, je crois) que je désirais modifier une fois pour toute la taille des polices dans les widgets, pour m'épargner d'avoir à le faire dans chaque widget.

Pour cela il suffit de récupérer la font utilisée par défaut TkDefaultFont (pas tous les widgets utilisent celle là) et de la modifier.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
import tkinter as tk
from tkinter.font import nametofont
 
root = tk.Tk()
 
tk.Label(text='1234').pack()
 
def on_click():
    default_font = nametofont("TkDefaultFont")
    default_font.configure(size=48)
 
tk.Button(text='click', command=on_click).pack()
tk.mainloop()

Le code montre que les widgets déjà créés sont aussi modifiés mais l'important sont les "import" et les instructions dans le callback on_click.
Faites gaffe à la suggestion de Bistouille: çà change toutes les applications tkinter (et pas seulement celle que vous voulez écrire)

- W