Gestion des contextes

Un contexte regroupe tous les paramètres définis pour afficher les données dans la carte : liste des classes, style associés, visibilité, sélectionnabilité, plage d’échelle de visibilité, ordre d’affichage, serveurs « chargés », …

L’utilisateur peut sauvegarder les paramètres d’affichage des données graphiques sous un nom de contexte ; il peut également les sauver en tant que « contexte utilisateur ». Ce dernier, quand il est défini, est chargé automatiquement lors de la connexion de l’utilisateur.

Les commandes de gestion des contextes sont :

►      Charger ou recharger le contexte sélectionné

►      Enregistrer

►      Enregistrer sous

►      Enregistrer le contexte utilisateur

►      Supprimer

►      Propriété pour afficher et/ou modifier les propriétés du contexte : famille, nom et description

Le gestionnaire de contextes permet d’afficher la liste des contextes disponible sous différents formats :

►      Liste déroulante

►      Liste

►      Arbre

►      Légende