Menu «Edition »

• Edition -> Copier: copie le texte sélectionné dans le presse-papiers.
• Edition -> Couper: coupe le texte sélectionné dans le presse-papiers.
• Edition -> Coller: colle le texte contenu dans le presse-papiers dans la ligne de commande.