Hello
Je déborde peut-être un peu, mais ce qui serait top, surtout, ce serait de pouvoir choisir ce qui apparaît ou non dans le header, parmi un ensemble d'éléments disponibles. Par exemple via une variable dans le header.properties, qui listerait les éléments. On pourrait même imaginer que l'ordre de la liste déterminerait l'ordre d'apparition des liens dans le header
Dans l'état actuel des choses, ça permettrait de décider si on affiche mapfishapp ou mapstore, ou les deux
Et du coup, ça apporterait aussi une réponse souple à la question posée par Catherine : on pourrait ajouter la possibilité, et ensuite à chacun de choisir dans sa config s'il veut l'afficher ou non.
Jean
--
--
projet: http://www.georchestra.org/
---
Vous recevez ce message, car vous êtes abonné au groupe Google Groupes "georchestra-dev".
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse georchestra-d...@googlegroups.com.
Cette discussion peut être lue sur le Web à l'adresse https://groups.google.com/d/msgid/georchestra-dev/3445b172-5ed8-4687-80de-4c6e287dc056n%40googlegroups.com.