Accueil> … > Qu'est-ce qu'un plug-in ?

Quel est l'intérêt du Plug-in ?

Un plug-in est un petit bout de code qui va venir s'ajouter à un programme existant.
Ici, on se propose d'ajouter un "plug-in" à votre Navigateur (Internet Explorer Ou Firefox).
Votre navigateur se trouvera ainsi enrichi de nouvelles fonctionnalités.
Les fonctionnalités apportées :
1. Barre de menus : accès direct à une recherche catalogueplug-in ecran1

O Utils  2NB : cette barre de menus proposent des recherches plus spécifiques






 


plug-in_ecran32. Rebond à partir de moteurs de recherche (Google)
Chaque fois que vous lancez une recherche, une petite icône apparait. En cliquant dessus, la recherche est directement lancée dans notre catalogue.

 

 

 

 

 

 

 
plug-in_ecran53. Rebond à partir de certains sites culturels marchands (Amazon)
Si vous trouvez un titre qui vous intéresse dans Amazon, une petite icône va vous permettre de relancer la recherche dans notre catalogue, pour voir si la bibliothèque possède aussi ce titre.

 NB : la recherche se fait via l'isbn et n'est pas sûre à 100%. Mieux vaut la relancer si elle ne donne rien.

 

 

  
4. A tout moment, sur une page html
En sélectionnant quelques mots, et en faisant un clic droit, vous pouvez interroger notre catalogue pour voir s'il possède quelque chose à ce sujet.
 plug-in_ecran4