6.27. Quelques astuces Firefox Il suffira alors de cliquer sur ce symbole pour insérer un marque-page dynamique. Ce marque-page vous affichera tous les titres des nouvelles présentes dans ce flux, et si vous cliquez sur un titre, ce dernier vous conduira jusqu’à la nouvelle en question, le tout, sans quitter Firefox.
6.27.7
Les extensions
Vous trouvez qu’il manque quelque chose à Firefox, et cela vous gâche la vie, vous ne pouvez plus en dormir et vous devenez dépressif ? Stay cool ;-) les extensions sont là pour ça ! Mais qu’est-ce qu’une extension au juste ? Il s’agit d’un ajout logiciel développé par un particulier afin d’ajouter des fonctionnalités à Firefox. Cela implique : – Premièrement que le maintien d’une extension entre 2 versions de Firefox n’est pas assuré par la fondation Mozilla. Cependant, lors d’une mise à niveau de Firefox, ce dernier vérifie la compatibilité des extensions et les met à jour si une nouvelle version est disponible ou les désactive si elles ne sont plus compatibles. – Deuxièmement, certaines extensions peuvent avoir des fins malintentionnées et effectuer des opérations ou récupérer des informations à votre insu. Pour ces deux raisons, il est important de se limiter aux extensions packagés par le système Ubuntu, accessible comme pour toute application par « Ajouter/Supprimer. . . » afin de ne télécharger que des extensions sûres 55 . La marche à suivre pour installer une extension est assez simple : vous trouverez un lien d’installation sur la page Internet qui vous permettra d’effectuer l’opération désirée après un redémarrage de Firefox.
6.27.8
Choisir un thème personnel pour Firefox
Il est également possible d’installer des thèmes∗ et donc de personnaliser l’apparence de Firefox. Pour cela, vous pouvez télécharger des thèmes hébergés sur le site de Mozilla — accessible à partir du menu Outils ⇒ Modules Complémentaires, puis Thèmes ouvrant la fenêtre 6.44. Leur installation s’effectue en cliquant sur « Obtenir des thèmes », puis en choisissant un dans la page Internet qui s’ouvre alors. 55. Faite une recherche avec « extension » comme champ de recherche !
158