Diapositive PPT
$info="Recherche dans le fichier '$nom_fic'...";
&text_search($texte, $search_string, 'search');
text_toggle($texte, ['configure', 'search', -background => 'SeaGreen4', -foreground => 'white'], 800,
['configure', 'search', -background => undef, -foreground => undef], 200);
text_toggle($texte, ['configure', 'search', -background => 'black', -foreground => 'white'], 800,
['configure', 'search', -background => undef, -foreground => undef], 200);
$info= "Recherche dans Fichier '$nom_fic' terminée.";
# The utility procedure below searches for all instances of a given string in a text widget and applies a given tag
# to each instance found.