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é.