Ajouter une page dans paramétrage des widgets:
Widget search
Le widget search est paramétrable: il permet de choisir le serveur search (le nom est celui de la table des serveurs)
Si aucun serveur n'est renseigné, le serveur search par défaut de l'environnement est utilisé.Search est associé au moteur Divalto Power Search.
Il n’y a pas de paramétrage obligatoire, car le nom du serveur search est recherché par défaut dans l’environnement de l’utilisateur.
Depuis la version Harmony 2018-408, le nom du serveur search peut être renseigné dans le paramétrage du widget, en indiquant le nom du serveur dans la zone prévue “Serveur search”
...