5.1 Le fichier de configuration aastex.ini (mod. 24/11/99) 

Les paramètres sauvegardés sont la position de l'assistant sur l'écran, l'éditeur à utiliser, le nom du fichier maître, la liste des options de la boîte de dialogue Options et la liste des panneaux à utiliser avec leurs paramètres (position, taille et verrouillage). Plus précisément, le début du fichier a l'aspect suivant :

 [Assistant AsTeX 3.01]
 [Editeur]
 Presse-papiers
 [Fichiers de configuration]
 H:\ast31a\astex\assist\astgrp.lst
 astgrp
 astprg.lst
 [Fichier maitre]
 H:\ast31a\astex\demos\win\cmplx2e.tex
 [Bandeau]
  156
  1260
 [Options]
  1
  0
  0
  1
  0
  1
 DVI Driver
 ^
  1
 False
  0
  0
  30
  0
 [Panneaux]
 "Etc\MainDoc",1792,1152,1392,6744,0
 "Etc\PrgIn1",0,0,5472,1452,0

1.   La première ligne [Assistant AsTeX 3.01] identifie le numéro de version de l'assistant avec lequel le fichier aastex.ini peut être utilisé.
2.   La section [Editeur] contient le titre de la fenêtre pilotée par l'assistant, qui apparaît dans le cadre Editeur | Titre de la fenêtre de la boîte d'options.
3.   La section [Fichiers de configuration] contient le nom des fichiers astgrp.lst, astgrp.apd et astprg.lst utilisés par l'assistant. Ces noms peuvent être relatifs par rapport au répertoire de l'assistant (par ex. astgrp.lst), ou absolus (par ex. H:\ast31a\astex\assist\astgrp.lst).
4.   La section [Fichier maitre] contient le nom du fichier maître s'il a été sélectionné. Sinon, elle correspond à une ligne vide.
5.   La section [Bandeau] contient les coordonnées du coin supérieur gauche du bandeau.
6.  La section [Options] contient l'état de la boîte de dialogues Options :
   1.   Case à cocher Sélection | Options générales | Panneaux de boutons (0/1).
   2.   Case à cocher Sélection | Options générales | Affichage panneaux auto (0/1 - inactivée).
   3.   Case à cocher Sélection | Options générales | Panneaux stockés en mémoire (0/1).
   4.   Bouton radio Compilation | Affichage | AsTeX dvi / AsTeX PS (0/1 - inactivée).
   5.   Boutons radio Compilation | Compilation | Date / Taille (critère de compilation: taille ou date du fichier - 0/1).
   6.   Boutons radio Compilation | Format | Plain / LaTeX2e / LaTeX2.09 (0/1/2).
   7.   Champ Compilation | Fenêtre de visualisation | Courante (DVI Driver pour Dviwin).
   8.   Champ Compilation | Fenêtre de visualisation | Rafraîchir (chaîne à envoyer pour rafraîchir la visu - ^ pour Dviwin).
   9.   Case à cocher Compilation | Affichage | Bavard (signaler si fenêtres edit/visu sont fermées - 0/1).
   10.   Case à cocher Compilation | Compilation | Automatique (activer la compilation automatique - True/False).
   11.   Case à cocher Compilation | Affichage | Retour édit. (activer retour dans fenêtre éditeur - 0/1).
   12.   Ascenseur Compilation | Compilation | Délai min / sec (temps entre deux compilations, en minutes).
   13.   Ascenseur Compilation | Compilation | Délai min / sec (temps entre deux compilations, en secondes).
   14.   Bouton radio Compilation | Page de codes (DOS / Windows).
7.  La dernière section [Panneaux] contient les paramètres des barres d'outils des différents groupes de panneaux. Une ligne correspond à un panneau. Les dix premières lignes correspondent aux panneaux du premier groupe, les dix lignes suivantes aux panneaux du second groupe, etc. Le nombre de panneaux utilisables par l'Assistant est égal à 10 fois le nombre de boutons du panneau des groupes. Dans la version 3.01, le panneau des groupes de panneaux comporte 14 boutons, et le nombre de panneaux sélectionnables est égal à 90 (cf. sec. 5.3).

1.   Le premier élément correspond au nom du fichier des textes du panneau, par rapport au répertoire principal de l'assistant. Par exemple, TeX\GrkMin désigne le fichier ast\astex\assist\tex\grkmin.apd. Le nom peut aussi être absolu (cf. sec. 6.2.4).
2.   Les deux nombres suivants désignent les coordonnées à l'écran du coin supérieur gauche du panneau.
3.   Les deux nombres suivants désignent la hauteur et la largeur du panneau. S'ils sont nuls, les valeurs inscrites dans le fichier des textes du panneau *.apd sont utilisées.
4.   Le dernier nombre indique si le panneau est verrouillé (1) ou pas (0).