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.
- display indique l'écran sur lequel Thot doit travailler.
- Les derniers autres paramètres indiquent la liste des documents
qui doivent être ouverts au démarrage. Les documents peuvent
être nommés avec leur nom complet (répertoire et/ou
suffixe .PIV), mais les noms seuls suffisent, sans indication du suffixe ni du
répertoire, si le répertoire apparaît dans la
configuration de l'éditeur (voir section 23.5).
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 :
- « Abandonner » : abandonner la procédure de fermeture
de l'application sans sauver le document.
- « Sauver le document » : sauver le document avant de fermer
l'application.
- « Fermer sans sauver » : fermer l'application sans sauver le
document.
[Section 3] [Table
of contents]