Comment redémarrer Firefox sans perdre les onglets ouverts ?

logo-puzzle-firefox4

Les personnes qui utilisent Firefox sont parfois confrontées à des problèmes de performance du navigateur qui se manifestent par une lenteur désespérante due à une trop grande consommation de mémoire vive. La moindre manipulation, comme ouvrir un nouvel onglet, n’aboutit tout simplement pas ou alors après de très très longues secondes. La seule solution consiste alors à redémarrer Firefox afin de repartir sur une situation saine. Le problème, c’est que les onglets ouverts avant de quitter Firefox ne seront pas rouverts après le redémarrage du navigateur. Il faut alors aller piocher dans l’historique de navigation pour retrouver les onglets qui étaient actifs au moment du dysfonctionnement pour les récupérer. Cette situation est particulièrement pénible surtout si un grand nombre d’onglets étaient ouverts.

Retrouver les onglets fermés dans Firefox

firefox-undo-close-tab-replacement

Undo Close Tab Replacement est une extension francisée pour Firefox qui améliore nettement la fonctionnalité pour retrouver les onglets qui ont été récemment fermés. Par défaut Firefox intègre une fonctionnalité pour rouvrir les onglets fermés, mais elle n’est pas si pratique à utiliser que cette extension le permet. Dans Firefox, la méthode la plus rapide pour rouvrir le dernier onglet fermé est d’utiliser le raccourci clavier Ctrl + Maj + T. On peut aussi faire un clic droit de souris sur un onglet ouvert et choisir la commande Annuler la fermeture de l’onglet dans le menu contextuel de Firefox. Les onglets dernièrement fermés sont également listés dans le menu Historique de Firefox. Les deux premières méthodes sont suffisantes quand l’onglet à rouvrir vient d’être fermé, mais peu commodes quand il s’agit de retrouver un onglet fermé depuis un peu plus longtemps.

Installer des extensions non signées dans Firefox

firefox-installation-extension-non-signee

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.

Comment retirer Hello et Pocket de Firefox

logo-puzzle-firefox4

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

classic-theme-restorer1

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-informations-depannage

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.

Une extension pour ajouter un proxy à Firefox

best-proxy-server-firefox

Un proxy est un logiciel qui sert d’intermédiaire pour se connecter à Internet. En pratique, on se connecte sur un proxy via sa connexion Internet classique, mais une fois la connexion établie, tout le trafic Web ou autre (messagerie, FTP, streaming…) transite par le proxy qui va relayer les données vers l’ordinateur qui y est connecté. Pour l’utilisateur, une fois connecté au proxy, le processus est transparent. L’intérêt est de pouvoir facilement se connecter en dissimulant sa véritable adresse IP en faisant croire qu’en fait on en utilise une autre, celle attribuée par le proxy, qui peut en gérer un très grand nombre et les changer régulièrement en cas de besoin.
En pratique, on se sert d’un proxy pour outrepasser les sécurités basées sur l’identification des adresses IP, pour faire croire par exemple qu’on se connecte depuis un pays particulier (pratique pour se connecter sur des services de vidéo qui vérifient la localisation géographique avant d’autoriser la connexion), pour passer à travers les systèmes de censure mis en place par certains régimes politiques, pour télécharger des données en masquant ses véritables informations de connexion, etc. La plupart de ces logiciels sont payants.
L’extension pour Firefox Best Proxy Switcher propose une version de base gratuite qui intègre quelques proxies dans le navigateur Web pour changer de connexion à la volée. Pour un usage non quotidien, cela s’avère suffisant. Pour passer au niveau supérieur et pour pouvoir utiliser les 10 000 proxies pris en charge, il faudra s’acquitter d’une somme de 9.99 $.

Modifier les raccourcis clavier de Firefox

logo-puzzle-firefox4

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.