Saisie d'un texte simple

Une fois que vous avez attribué un nom à votre document, vous pouvez commencer à saisir le texte. Plus tard, nous vous expliquerons comment saisir les caractères spéciaux nécessaires pour écrire des textes dans d'autres langages. Le texte suivant est un texte tout simple que vous pouvez utiliser à titre d'exercice :

Figure 1. Saisie d'un texte simple dans TeXmacs.

Quand vous aurez fini la saisie, nous vous recommandons de sauvegarder votre document en cliquant sur l'icône et en choisissant sauvegarder tampon dans le menu, ou en appuyant sur la touche F3. Un message dans la barre de statut confirme le succès de l'opération :

Figure 2. Sauvegarde du texte.

Par mesure de sécurité, TeXmacs sauvegarde automatiquement votre document toutes les deux minutes. Si vous oubliez de sauvegarder votre document avant de quitter TeXmacs, ou si votre ordinateur est déconnecté pour une raison quelconque, un message vous demandera si vous voulez charger le fichier plus récent de sauvegarde automatique dès que vous essaierez de le charger. Un message dans la barre de statut confirme la sauvegarde automatique :

Figure 3. TeXmacs sauvegarde automatiquement votre document toutes les deux minutes.

À la fin de la saisie, vous souhaiterez sans doute imprimer votre document. Vous pouvez le faire en sélectionnant Imprimer le tout dans le menu de l'icône , ou en appuyant sur la touche F4. Avant d'imprimer, il vous faudra configurer votre imprimante en cliquant sur Configurer imprimante dans le menu de l'icône . Vous indiquerez alors la commande d'impression à utiliser (par exemple lpr), le format de papier de votre imprimante (a4 en Europe ou letter aux USA) et la précision en points par pouce de l'imprimante (par défaut 600 dpi).

Pour récupérer votre texte après avoir quitté TeXmacs, il vous faudra d'abord cliquer sur Charger tampon dans le menu de l'icône ou sur la touche F2. Vous pourrez ensuite choisir le fichier avec le navigateur de fichiers. Dans notre exemple, le fichier test.tm apparaît tout de suite dans le navigateur et vous pouvez le récupérer rapidement en double-cliquant dessus.

Figure 4. Récupération du texte à partir du disque.