Changer le nom d'un "moteur de recherche" ajouté soi-même
Publié : 24 nov. 2017, 17:52
Bonjour.
Je voudrais ajouter le "moteur de recherche" du CRISCO dans la liste mise à disposition par Firefox. Quand je vais sur la page http://www.crisco.unicaen.fr/des/ , j'ai la possibilité de l'ajouter de manière très simple via le menu déroulant de la barre de recherche, MAIS le nom attribué est "DES" par défaut (mis pour "Dictionnaire Électronique des Synonymes"). Or, je voudrais qu'il soit plutôt écrit : CRISCO.
Comment y parvenir ?
Du reste, j'utilisais volontiers une extension pour faire ces ajouts : il était possible de choisir le libellé... Mais elle n'existe plus apparemment, ou n'est plus compatible (je crois qu'il s'agissait d'OPENSEARCH, mais je n'en suis pas certain)...
Pour info, en attendant que plusieurs extensions auxquelles je tiens trouvent une nouvelle jeunesse pour Firefox 57 et suivants, j'utilise Firefox 52 ESR...
Merci !
Je voudrais ajouter le "moteur de recherche" du CRISCO dans la liste mise à disposition par Firefox. Quand je vais sur la page http://www.crisco.unicaen.fr/des/ , j'ai la possibilité de l'ajouter de manière très simple via le menu déroulant de la barre de recherche, MAIS le nom attribué est "DES" par défaut (mis pour "Dictionnaire Électronique des Synonymes"). Or, je voudrais qu'il soit plutôt écrit : CRISCO.
Comment y parvenir ?
Du reste, j'utilisais volontiers une extension pour faire ces ajouts : il était possible de choisir le libellé... Mais elle n'existe plus apparemment, ou n'est plus compatible (je crois qu'il s'agissait d'OPENSEARCH, mais je n'en suis pas certain)...
Pour info, en attendant que plusieurs extensions auxquelles je tiens trouvent une nouvelle jeunesse pour Firefox 57 et suivants, j'utilise Firefox 52 ESR...
Merci !