Geckozone

Marque-pages vs Favoris

Sous les navigateurs Mozilla, vous aurez remarqué que le « Marque-page » est l’appellation employée pour les pages Web que vous mémorisez. Ne cherchez pas, il s’agit bien de vos « Favoris », de vos « Signets » ou autres « Bookmarks » que vous rencontrez avec d’autres navigateurs Web.

Java vs JavaScript

Si l’on vous parle de Java ou de JavaScript, sachez que ce n’est absolument pas la même chose, même s’il s’agit dans les deux cas de langages de programmation.

Selon Wikipedia, Java (langage) est une technologie composée d’un langage de programmation orienté objet et d’un environnement d’exécution développée par Sun, et JavaScript est un langage de programmation (langage de script) utilisé principalement dans les navigateurs Web.

 Java est un environnement indépendant du navigateur, et nécessite l’installation d’un plugin, le Java RunTime Environnement, pour fonctionner. Il permet de lancer des applications complexes dans un cadre apparaissant typiquement sur une page Web ; elles sont habituellement appelées applet.
 JavaScript est interne au navigateur, et ne nécessite pas l’installation de programmes supplémentaires pour fonctionner. Il est couramment employé pour des tâches simples, telles que la vérification de saisies de formulaires ou l’affichage de messages d’alerte. Il est également une grande partie de l’environnement de programmation de votre navigateur Mozilla.

Pourquoi ces deux langages s’ils se ressemblent ?

En fait, Java permet un niveau de complexité supérieur à JavaScript. Il permet notamment d’accéder à certaines ressources, telles que la vidéo.

Plugin vs Extension

Avec Mozilla, ces deux notions de plugin et d’extension doivent être bien appréhendées. Selon l’aide de Mozilla Firefox, elles sont définies comme ceci :

 Les plugins sont des assistants d’application qui élargissent des fonctionnalités de Firefox et qui s’exécutent à l’intérieur de celui-ci. Des plugins comme Sun Java, Macromedia Flash et RealNetworks RealPlayer permettent à Firefox d’afficher des fichiers multimédia et d’exécuter de petites applications comme des films, des animations et des jeux.
 Les extensions sont de petits greffons (add-ons) qui s’installent sur Firefox et qui en changent les fonctionnalités ou en ajoutent de nouvelles.

Un plugin agit sur l’environnement d’une page Web, pour afficher un menu, lancer une animation, jouer un son, etc. Un plugin accompagne souvent un logiciel propriétaire en offrant la possibilité au navigateur d’y accéder ; par exemple, un document Adobe Acrobat Reader pourra ainsi être ouvert directement dans la fenêtre du navigateur.

Vous trouverez plus d’informations sur les plugins sur le site de plugindoc.

Une extension agit essentiellement sur l’environnement même du navigateur et de son comportement. Une extension est un logiciel, le plus souvent Libre, développé par une tierce partie et qui vient s’ajouter à un logiciel comme Firefox ou Thunderbird. Une extension pourra ainsi modifier des menus du navigateur, créer des fonctions supplémentaires dans des barres d’outils, afficher des informations. Plus précisément, une extension peut interagir avec les commandes internes du navigateur, ce que ne peut pas faire un plugin pour des raisons de sécurité.

Vous trouverez plus d’informations sur les extensions sur le site francophone http://extensions.geckozone.org/, ou les sites anglophones https://addons.update.mozilla.org/ et http://www.extensionsmirror.nl/.

Et les thèmes et autres plugins de recherche ?

Les thèmes graphiques sont également des extensions, quoique particulières. Leur fonction est de modifier l’apparence visuelle du navigateur. Mais en fait, sachez qu’ils sont développés sur le même principe que les extensions.

Les plugins de recherche ne sont ni des plugins à proprement parler, ni des extensions. Ils regroupent dans des fichiers des commandes permettant au navigateur d’ajouter d’autres moteurs dans la barre de recherche. Leur principale fonction est de gérer et de traiter les données d’un formulaire en accédant directement sur un site Web permettant ces recherches (google en est l’exemple parfait).

Vous trouverez quelques plugins de recherche en français sur http://extensions.geckozone.org/.

Console JavaScript

Depuis le menu Outils, vous pouvez lancer la console JavaScript, mais découvrez d’abord de quoi il s’agit. Cette console permet de visualiser rapidement les erreurs dans l’exécution des scripts JavaScript présents sur une page Web. Dans une utilisation classique de votre navigateur, elle ne vous sert à rien. Toutefois, vous êtes parfois confronté à des sites Web qui ne réagissent pas comme le feraient d’autres navigateurs, et souvent la raison provient d’une programmation de scripts incompatibles avec les navigateurs Mozilla qui, rappelons-le, est très respectueux des standards.

Inspecteur DOM

Si vous avez installé un navigateur Mozilla, vous aurez peut être également installé l’Inspecteur DOM. Il s’agit d’un outil précieux pour les développeurs d’extensions ou de sites Web, car il vous permet d’afficher l’« arbre » des éléments constitutifs du navigateur, incluant l’ensemble des onglets ouverts et des contenus des pages ouvertes. Dans une utilisation classique de votre navigateur, il ne vous sert à rien.