Manuel d'utilisation d'Amaya
• amaya.keyboard (Unix), amaya.kb (Windows) ou amaya.kb-mac : ce fichier définit les
raccourcis clavier d'Amaya pour la plate-forme correspondante.
• amaya.css : contient la feuille de style de l'utilisateur.
• dictionary.DCT : Amaya fournit un vérificateur d'orthographe multi-langues. Par défaut le
vérificateur d'orthographe travaille avec deux dictionnaires : Le dictionnaire Anglais et le
dictionnaire Français (d'autres dictionnaires peuvent être téléchargés depuis les serveurs W3C).
Quand l'utilisateur veut enregistrer un nouveau mot, le vérificateur d'orthographe crée ou met à
jour ce "dictionnaire personnel de l'utilisateur".
Note : les fichiers amaya.keyboard, amaya.kb, amaya.kb-mac, et amaya.css sont chargés au moment
du démarrage. Si vous les changer, vous devrez quitter et redémarrer Amaya pour les prendre en compte.
Le répertoire AmayaTemp
Amaya stocke tous les fichiers temporaires qu'il crée durant l'exécution dans un répertoire que nous
appelons le répertoire AmayaTemp. La table suivante montre où ce répertoire est stocké dans les
différents architectures :
Unix
$HOME/.amaya
Windows
$HOMEDRIVE:\$HOMEPATH\Local Documents and Settings\Temp\amaya
par défaut
c:\Documents and Settings\$user_name\Local Settings\Temp\amaya
Mac OS X
~/.amaya
Amaya crée des fichiers dans ce répertoire pendant que vous naviguez ou que vous imprimez un
document. Le cache est stocké dans ce répertoire. L'utilisateur peut changer le répertoire cache par le
biais du menu Préférences Cache.
Amaya essaye toujours d'effacer tous les fichiers temporaires qu'il crée. Cependant, si Amaya termine
anormalement,, les fichiers temporaires ne seront pas effacés. Ceci n'aura pas d'impact sur les exécutions
d'Amaya ultérieures.
Préférences
Ce dialogue se trouve dans Éditer/Préférences (Amaya/Préférences sous Mac OSX). Il y a douze
onglets différents disponibles : Générales, Navigation, Publication, Cache, Proxy, Couleurs,
Géométrie, Annotations, WebDAV, Modèles, Courriel. Ce présente trois boutons d'action :
• Appliquer : ce bouton valide et stocke les options affichées.
• Défauts : ce bouton rétablit, mais ne sauve pas, les valeurs par défaut. Utilisez le bouton
Appliquer pour valider les options.
• Annuler : ce bouton ferme le dialogue sans appliquer.
Les préférences générales
> Profil
Amaya peut être configuré pour présenter un ensemble de fonctionnalités plus ou moins étendu et
l'interface utilisateur correspondante. L'ensemble des fonctionnalités disponibles à un instant donné est
appelé un profil.
Dans les préférences Générales un menu déroulant permet de choisir un profil (Lite, Lite+Math, etc.). Le
profil choisi ne s'applique pas immédiatement, mais seulement au prochain démarrage d'Amaya.
88
">
