DESCRIPTION.

Rétablit les modifications annulées précédemment dans un éditeur de texte.

SYNTAXE.

TXT_Editeur.edit_redo ( )

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

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

REMARQUES.

La méthode tkinter.Text ( ).edit_redo ( ) rétablit les modifications annulées précédemment avec l'appel de la méthode  tkinter.Text ( ).edit_undo ( ) si aucune modification n'est intervenu dans le contenu de l'éditeur de texte depuis cette appel.

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 ce mécanisme est activé, mais il est possible de le désactiver, pour interdire l'annulation des modifications, ou de le réactiver avec l'attribut undo. De même, la pile d'annulation 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 ( )