2 Lancement et fermeture de l'éditeur

La syntaxe de la commande de lancement de l'éditeur est la suivante :

thot [-display display] [doc1 doc2 ...]

Tous les paramètres sont optionnels. Si aucun n'est fourni, l'éditeur démarre sans ouvrir ni créer de document.

La commande de lancement de l'éditeur produit le résultat suivant sur l'écran de l'utilisateur :

Fermeture de l'éditeur
Pour quitter l'éditeur Thot, il faut sélectionner l'entrée « Quitter Thot » du menu « Fichiers » de la fenêtre Thot. Avant de fermer l'application, l'éditeur ferme les documents encore ouverts. Pour chaque document qui a été modifié depuis sa dernière sauvegarde, l'éditeur propose, comme lors de la commande « Fermer le document » (voir section 7.5) un formulaire avec trois options :

[Section 3] [Table of contents]