Options PDMCheck

La fenêtre d'options permet de paramétrer :

Les options pour afficher l'outil dans le menu contextuel et le nombre de chemins de recherche à sauvegarder.
Les colonnes visibles dans le résultat d'analyse.
La gestion des critères d'analyse.