Depuis la version 41 de Firefox, il n’est plus possible d’installer n’importe quelle extension (appelées aussi modules complémentaires) pour ajouter des fonctionnalités supplémentaires au navigateur. En effet, toutes les extensions pour pouvoir être installées correctement doivent être signées numériquement, c’est-à-dire validées par Mozilla l’éditeur de Firefox. Cette contrainte a été imposée pour renforcer la sécurité des extensions qui pour certaines d’entre elles ne sont pas un modèle du genre : collecte d’informations privées, barres d’outils non désirées, modification des paramètres de recherche et de la page d’accueil, publicités, programmes malveillants… Dans le cas contraire, une extension non signée ne peut pas être installée sur Firefox. Les extensions signées numériquement sont celles qui ont donc été approuvées par Mozilla et qui s’installent depuis le catalogue de modules promu par l’éditeur.
Firefox
Comment retirer Hello et Pocket de Firefox
Les dernières versions du navigateur Firefox intègrent deux modules additionnels, Hello et Pocket, pas forcément utiles à tout le monde. Hello est un outil de conversation vidéo intégré à Firefox tandis que Pocket permet de sauvegarder en ligne des pages Web qu’on souhaite lire plus tard. Les icônes de ces deux services sont ajoutées par défaut sur la barre d’outils de Firefox.
3 extensions pour dompter l’interface Australis de Firefox
Après la mise à jour en version 29 Firefox a bénéficié d’une refonte de son interface graphique baptisée Australis. Cette dernière était en phase d’expérimentation et planifiée depuis Firefox 25, mais avait été retardée pour n’être intégrée que tout récemment au navigateur Web de Mozilla. Pour moi qui utilise Firefox au quotidien, le résultat n’est pas visuellement trop choquant d’autant plus que les divers éléments de l’interface se remanient et s’agencent très facilement via le menu des options (cliquer sur l’icône en haut à droite dans la barre des menus) en passant par le module Personnaliser. Après quelques tâtonnements, je suis parvenu à disposer l’interface comme je le souhaitais.
Le seul petit défaut qui m’a fait tiqué c’est qu’il n’est pas possible à priori de placer la barre des onglets en dessous de la barre d’adresses, mais j’ai corrigé ce désagrément en installant l’extension Tabs on Bottom qui a pour fonction de la remettre à sa place ainsi que de pouvoir modifier la couleur de fond des onglets inactifs. Pour les utilisateurs qui souhaitent ne plus voir en permanence les barres de Firefox, ils peuvent installer l’extension The Fox, Only Better qui va les masquer automatiquement pour les afficher au survol du pointeur de souris. Ces deux extensions s’installent et s’activent sans qu’il soit nécessaire de redémarrer Firefox.
Retrouver et modifier les sauvegardes de favoris sur Firefox
Firefox enregistre tous les favoris dans un fichier de base de données à l’intérieur du dossier de profil de l’utilisateur. Pour éviter de se retrouver avec un fichier corrompu et illisible après un plantage, un dysfonctionnement, des modifications ou des suppressions de favoris, le navigateur conserve également des sauvegardes du dossier des favoris dans le dossier du profil de l’utilisateur d’où on pourra les exploiter. Ce mécanisme automatique conserve par défaut les 10 dernières sauvegardes des favoris dans le dossier du profil, la plus ancienne étant supprimée par une nouvelle sauvegarde. Ce nombre de 10 sauvegardes est un paramètre qui s’il ne vous convient pas peut se modifier.
Pour localiser le dossier du profil utilisateur et vérifier la présence des sauvegardes des favoris, saisir la commande about:support dans la barre d’adresses de Firefox. Cela affiche la page Informations de dépannage de Firefox. Le dossier du profil utilisateur s’ouvre en cliquant sur le bouton Ouvrir le dossier correspondant sur la ligne Dossier de profil dans la partie supérieure de la page dans la zone appelée Paramètres de base de l’application. Le dossier du profil de l’utilisateur courant ainsi que son contenu sont alors affichés à l’écran. À l’intérieur du profil, le dossier de sauvegarde des favoris est intitulé bookmarkbackups. Il contient les différentes sauvegardes des favoris.
Modifier les raccourcis clavier de Firefox
Firefox comme tous les grands programmes informatiques dispose de raccourcis clavier pour faciliter et accélérer l’accès à ses différentes fonctionnalités. Ces combinaisons de touches sont très prisées par les utilisateurs avertis, car elles leur font gagner un temps précieux dans les manipulations de base. Il est en effet plus rapide d’utiliser un raccourci clavier que de passer par l’interface graphique à la souris en passant par une succession de menus et de boîtes de dialogue pour arriver au même résultat. Les raccourcis clavier de Firefox sont si nombreux, qu’il est pratiquement impossible de tous les mémoriser surtout que certains sont configurés avec des combinaisons de touches pas franchement faciles à reproduire au clavier.
Par défaut, le navigateur ne donne pas la possibilité de modifier les raccourcis clavier pour les adapter à son utilisation personnelle et utiliser des combinaisons de touches plus facilement mémorisables. C’est ce que permet de faire l’extension Customizable Shortcuts qui après avoir été installée n’exige pas le redémarrage de Firefox. L’interface de l’extension pour configurer les touches de raccourcis est accessible depuis le menu Outils de Firefox, en y choisissant Options où l’onglet Shotcuts a été ajouté par l’extension. C’est à ce niveau que va se personnaliser toute la configuration des raccourcis clavier.
Compilation de commandes about:config pour Firefox
Même si Google Chrome lui taille des croupières, il n’en reste pas moins que Firefox reste un excellent navigateur hautement configurable. Les réglages accessibles via les options de l’interface graphique sont assez nombreux et d’autres, plus pointus, sont disponibles depuis la page about:config en saisissant cette commande dans la barre d’adresses.
Ces options avancées permettent une personnalisation plus fine du fonctionnement du navigateur. Les modifications sont à faire en connaissance de cause, un avertissement est là pour nous le rappeler après qu’on ait saisi la commande.
Comment désactiver les infos bulles dans Firefox
Les infos bulles (en anglais tooltips) sont de petites aides contextuelles affichées sur fond jaune qui apparaissent à l’écran quand on laisse son curseur de souris quelques secondes sur une zone de l’interface d’un programme. Firefox comme d’autres applications en intègre un grand nombre et cette façon de faire s’avère pratique quand on commence à découvrir l’interface du navigateur pour comprendre à quoi correspondent les différentes icônes et boutons en affichant une courte explication sur leur fonctionnement : signification de la barre de navigation, création d’onglets, favoris…
Évidemment au bout d’un certain temps elles deviennent inutiles, voire un peu envahissantes, car on a vite fait de faire le tour du fonctionnement de Firefox.
Dans les options de Firefox, aucun réglage ne donne la possibilité de désactiver ces infos bulles. Pour le faire, il faudra passer par la commande about:config à saisir depuis la barre d’adresses de Firefox et suivre la procédure suivante :
