Attribution d'un nom au document

Nous vous recommandons d'attribuer un nom à votre document, avant de commencer l'édition, en le sauvegardant sous un nouveau nom. Sélectionnez Sauvegarder tampon sous après avoir cliqué sur l'icône de menu ou Sauvegarder sous dans le menu Fichier : cliquez sur en appuyant sur le bouton gauche de la souris, déplacez votre curseur vers Sauvegarder tampon sous tout en maintenant le bouton gauche de la souris enfoncé, puis relâchez-le.

Figure 1. Attribution d'un nom au document en le sauvegardant sous un nouveau nom.

Notez que vous pouvez arriver au même résultat en appuyant sur les touches majuscule temporaire et F3, ainsi que la bulle d'aide vous le suggère. Cette bulle d'aide apparaît automatiquement quand vous laissez le pointeur de la souris pendant un court instant sur Sauvegarder tampon sous. Après avoir relâché le bouton gauche de la souris, un nouvelle fenêtre apparaît :

Figure 2. Le sélectionneur de fichiers peut être utilisé pour parcourir vos répertoires.

Cette fenêtre est aussi appelée navigateur de fichiers, car vous pouvez choisir de façon interactive un nom de fichier et un répertoire où sauvegarder votre fichier en utilisant le clavier ou la souris. Dans l'exemple ci-dessus, .., images, phonetic et test sont respectivement le répertoire parent et les sous-répertoires du répertoire actif. Le fichier demo.tm est un fichier TeXmacs qui existe déjà dans le répertoire actif. Les boutons Racine et Textes peuvent être utilisés pour revenir à votre répertoire principal ou à un répertoire spécial utilisé pour les documents TeXmacs.

Pour donner un nom à votre fichier, saisissez test.tm dans le champ Fichier : et appuyez sur Ok :

Figure 3. Entrez le nom test.tm et cliquez sur le bouton Ok.

Notez que vous devez toujours donner l'extension .tm à votre fichier, de façon à ce que l'on sache que c'est un document TeXmacs. Après avoir attribué un nom à votre document, la fenêtre principale prend l'aspect suivant :

Figure 4. Votre document a été sauvegardé sous le nom test.tm.

Tout d'abord, vous remarquerez le changement de titre de la fenêtre. En outre, un message dans la barre de statut confirme le changement de nom.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".