Up: Les éditeurs de texte Next: Polices

Menu

Les options du menu local sont les suivantes :

again
--- recommence l'action précedente dédition. Ainsi, copy suivi de again cherche l'occurence suivante. De même, paste suivi de again cherche l'occurence suivante du mot remplacé pour y placer à nouveau le nouveau mot.

undo
--- annule l'action pécédente.

copy
--- positionne dans un "buffer" la chaine sélectionnée.

cut
--- positionne dans un "buffer" la chaine sélectionnée et l'efface du texte.

paste
--- colle la chaine la plus récemment placée dans le buffer. <shift> paste permet de choisir parmi les 5 plus récentes chaines.

do it
--- évalue.

print it
--- évalue et affiche le printString du résultat.

inspect
--- évalue et inspecte le résultat.

accept
--- valide l'édition.

cancel
--- annule l'édition.

hardcopy
--- génère un fichier texte dans le répertoire courant, à partir du contenu de la fenêtre.

Auxquelles sont ajoutées pour la programmation :

format
--- formatte le texte source
explain
--- donne un texte expliquant la nature de l'objet sélectionné, dans le cas d'un texte compilé.

beugnard@enst-bretagne.fr