Accès
Pour gérer les dossiers de documentation, choisir l'option Gérer les dossiers du menu Dossiers du Gestionnaire de documentation.
Les listes
Dossiers
Liste des dossiers de documentation existant dans la session, avec leurs nom et désignation.
Liste à sélection multiple.
Les boutons
Créer
Ouverture d'une boîte de dialogue permettant de créer un dossier de documentation.
Modifier
Ouverture d'une boîte de dialogue permettant d'afficher ou de modifier les caractéristiques générales du dossier sélectionné.
Ce bouton n'est actif que si un ou plusieurs dossiers sont sélectionnés dans la liste.
Supprimer
Ouverture d'une boîte message permettant de confirmer la suppression effective des dossiers sélectionnés.
Après validation, la liste des dossiers est actualisée.
Ce bouton n'est actif que si un ou plusieurs dossiers sont sélectionnés dans la liste.
Copier
Ouverture d'une boîte de dialogue permettant de copier un dossier à partir d'un dossier existant.
Cette boîte est identique à celle de définition d'un dossier.
Ce bouton n'est actif que si un ou plusieurs dossiers sont sélectionnés dans la liste.
Produire
Ce bouton soumet le travail de production du dossier dans le Gestionnaire de travaux.
Le dossier de documentation est alors constitué, d'après les caractéristiques définies précédemment.
Entrée
Fermeture de la boîte de dialogue.
Raccourci-clavier : Alt+F4.