10 Éditer un fichier texte
TXM contient un éditeur de texte qui permet de saisir, modifier, enregistrer, etc. n'importe quel fichier au format texte brut (TXT, XML, etc.) du disque dur directement depuis TXM. On peut ouvrir autant de fichiers qu'on veut, à partir :
-
de la vue « Fichier » (en double-cliquant sur les icones de fichiers à éditer) ;
-
du menu « Fichier > Nouveau fichier » (pour éditer un nouveau fichier) ;
-
du menu « Fichier > Ouvrir... ».
Les commandes de l'éditeur sont accessibles depuis :
-
la barre d'outils (voir illustration 4.5) ;
-
le menu contextuel (clic droit de la souris) ;
-
des raccourcis clavier (voir section 15 page 1 « Raccourcis clavier »).
10.1.1 Barre d'outils de l'éditeur de texte
Illustration 10.1: Barre d'outils d'un éditeur de texte
Les outils de la barre sont dans l'ordre :
Gestion des préférences-
gestion des préférences de TXM
Gestion de fichiers -
Édition d'un nouveau fichier
-
Édition d'un fichier existant
-
Enregistrer le fichier courant
-
Enregistrer le fichier courant sous un nouveau nom
Édition -
Couper le texte sélectionné
-
Copier dans le presse-papier
-
Coller le contenu du presse-papier
-
Supprimer le texte sélectionné ou le caractère situé à droite du curseur
-
Annuler l'édition précédente
-
Refaire l'édition annulée
-
Sélectionner tout le texte
Chercher-Remplacer -
Chercher-Remplacer une chaîne de caractères ou une expression régulière
-
Précédent (vers le haut)
-
Suivant (vers le bas)
-
Recherche incrémentale (la recherche est précisée à chaque caractère saisi) vers le bas
-
Recherche incrémentale vers le haut
Général
-
Aller à la ligne numéro...
-
Afficher les numéros de lignes
-
Afficher les caractères non imprimables
-
Ouvrir le lien sélectionné dans un navigateur
-
Ré-ouvre le fichier avec un encodage de caractères différent
-
Revenir à l'état initial du texte
Exécution de scripts -
Exécuter le script (par les interpréteurs Groovy ou R en fonction de l'extension du fichier .groovy ou .R)
-
Exécuter les lignes sélectionnées (par les interpréteurs Groovy ou R)
-
Exécuter un script Groovy contenu dans un fichier
-
Ré-exécuter le dernier script Groovy ou la dernière macro exécuté
10.1.2 Menu contextuel de l'éditeur de texte
-
Annuler l'édition
-
Revenir à l'état initial du texte
-
Enregistrer
-
Couper le texte sélectionné
-
Copier dans le presse-papier
-
Coller le contenu du presse-papier
-
Indenter à droite
-
Indenter à gauche
-
Option de retour à la ligne automatique
-
Exécuter par l'interpréteur Groovy
-
la sélection de texte
-
le script
-
un fichier Groovy
-
Exécuter par l'interpréteur R
-
la sélection
-
le script
-
Préférences de l'éditeur
-
Méthodes de saisie au clavier (sous Ubuntu)
-
Cyrillique (translittéré) : pour la saisie de caractères russes avec un clavier occidental
-
etc.