DESCRIPTION.

Place un marqueur dans la pile des modifications d'un éditeur de texte.

SYNTAXE.

TXT_Editeur.edit_separator ( )

TXT_Editeur ⇨ instance quelconque de tkinter.Text ( ) [ OBLIGATOIRE ]

.edit_separator ( ) ⇨ appel de la méthode [ OBLIGATOIRE ]

REMARQUES.

Les éditeurs de texte créés avec tkinter.Text ( ) dispose d'un mécanisme de mémorisation des modifications réalisées dans leur contenu, ou historique d'annulation. Chaque nouvelle modification dans un controle tkinter.Text ( ) est donc archivée dans une pile, en enregistrant le contenu avant et après la modifications.

Par défaut, la pile des modifications est gérée automatiquement, mais l'attribut autoseparator autorise ou non l'utilisation de la méthode tkinter.Text ( ).edit_separator ( ) pour que l'utilisateur, ou au script, puisse placer lui-même des marqueurs dans la pile d'annulation.

EXEMPLE.

import tkinter

FNC_Annuler = lambda : TXT_Editeur.edit_undo ( )

FNC_Retablir = lambda : TXT_Editeur.edit_redo ( )

FNC_Separer = lambda : TXT_Editeur.edit_separator ( )

FNC_Vider = lambda : TXT_Editeur.edit_reset ( )

TKI_Principal = tkinter.Tk ( )

TXT_Editeur = tkinter.Text ( TKI_Principal , undo = True , autoseparators = False , width = 40 , height = 12 )

TXT_Editeur.pack ( )

tkinter.Button ( TKI_Principal , text = "Annuler les modifications" , command = FNC_Annuler ).pack ( fill = "both" )

tkinter.Button ( TKI_Principal , text = "Rétablir les modifications" , command = FNC_Retablir ).pack ( fill = "both" )

tkinter.Button ( TKI_Principal , text = "Séparer l'historique" , command = FNC_Separer ).pack ( fill = "both" )

tkinter.Button ( TKI_Principal , text = "Vider l'historique" , command = FNC_Vider ).pack ( fill = "both" )

tkinter.Button ( TKI_Principal , text = "Quitter le programme" , command = TKI_Principal.destroy ).pack ( fill = "both" )

TXT_Editeur.focus_force ( )

TKI_Principal.mainloop ( )