Menu Fichier
Sauvegarder
Cette option enregistre toutes les modifications effectuées sur les utilisateurs ou sur les bases de données.
Raccourci-clavier : F2.
Quitter
Cette option ferme le configurateur. Si le fichier a été modifié mais non sauvegardé, un message de confirmation est affiché.
Menu Aide
Rubriques d'aide
Cette option ouvre une fenêtre affichant l'aide sur le configurateur.
Raccourci-clavier : F1.
A propos de…
Cette option ouvre une fenêtre affichant des informations sur le Runtime Java (version, copyrights).
Menu contextuel
Un même menu contextuel est appelé depuis les listes présentées sur chacun des onglets suivants de la boîte de dialogue Configurer le poste serveur :
Créer
Cette option ouvre une boîte de dialogue permettant de créer un nouvel utilisateur ou une nouvelle base de données (selon l'onglet actif).
Modifier
Cette option ouvre une boîte de dialogue permettant de modifier l'utilisateur ou la base de données sélectionné(e) dans la liste.
Raccourci-clavier : Entrée.
Supprimer
Cette option supprime l'utilisateur ou la base de données sélectionné(e) dans la liste.
Raccourci-clavier : Suppr.