Annexe
Il est possible d'ajouter des fonctionnalités supplémentaires à Mozilla par l'intermédiaire d'extensions. Quelques-uns d'entre eux sont abordés brièvement dans cette section – voir les références de site Web pour des informations plus détaillées.
6.2 - B
OOKMARKLETS
Les Bookmarklets (ou marque-script) sont des outils gratuits qui dotent votre navigateur de nouvelles fonctionnalités, améliorant ainsi la recherche, la navigation et la manipulation des pages Web. Les Bookmarklets fonctionnent typiquement comme des marque-pages, mais au lieu de référencer une page, ils référencent une fonction
(comme une macro de traitement de texte ou de tableur).
Référence du site:
http://www.squarefree.com/bookmarklets/
6.3 - E
XTENSIONS
Une extension Mozilla est un logiciel que vous pouvez installer pour ajouter de nouvelles fonctions à votre navigateur – il peut s'agir de nouvelles barres de fonctions, de nouveaux menus ou de nouveaux éléments de menus, et de nombreuses autres possibilités. Les extensions deviennent essentiellement partie intégrante de votre navigateur, et sont incluses automatiquement au démarrage de votre navigateur une fois que vous les avez ajoutées.
Référence du site:
http://extensionroom.mozdev.o
rg/
Page 41
