sélectionner du texte dans un widget Text
Bonjour,
Avec tag_add et tag_config je peux mettre en surbrillance des chaines de caractères.
Avec mark_set je peux positionner le curseur.
par contre je n'arrive pas à faire sélectionner par le programme (pour pouvoir après soir copier la sélection, soit l'effacer, ...) entre deux index un morceau du texte.
J'ai essayé de voir avec la doc, sans succès et j'ai essayé des fonctions du genre selection_set(); mais rien à faire. Cette fonction existe-t-elle?
Ci-joint le code.
Code:
1 2 3 4 5 6 7 8 9 10 11 12 13
|
import tkinter
root = tkinter.Tk()
texte1 = tkinter.Text(root)
texte1.pack()
texte="""pour avoir un texte par défaut"""
texte1.insert(tkinter.INSERT,texte)
texte1.tag_add('fluo',"1.5","1.10")
texte1.tag_configure('fluo', background = 'yellow')
texte1.mark_set(tkinter.INSERT,"1.10")
texte1.focus_set()
root.mainloop() |
Merci Gabriel