Un message des robots caché dans Firefox. Il s'agit des lois de la robotique comme les a énoncés Isaac Asimov, le célèbre auteur de science fiction, revues avec humour.
Firefox
Modifier le nombre d’onglets à restaurer dans Firefox
En cas de plantage de Firefox ou pire de votre ordinateur, seuls 10 onglets au maximum seront récupérés automatiquement au prochain lancement de Firefox. Cette fonctionnalité très pratique de récupération de session permet de reprendre la lecture sur les sites Web qui étaient en cours de consultation avant le plantage. Il en est de même quand on quitte Firefox puisque le navigateur propose d’enregistrer les onglets ouverts pour les relancer au prochain démarrage. 10 est la valeur par défaut définie dans les options du navigateur. Il est tout à fait possible de modifier ce paramètre, mais pas depuis l’interface utilisateur à partir de laquelle on accède aux options les plus classiques ne représentant pas de grand risque si on les modifie. De nombreuses autres options beaucoup plus pointues sont disponibles dans Firefox.
On y accède en tapant la commande about:config directement dans la barre d’adresses de Firefox, puis en validant avec la touche Entrée. Un message d’avertissement demandant de faire attention à ce que l’on va faire s’affiche. Vous voilà prévenu : pour continuer, confirmer le message d’avertissement et rechercher le réglage suivant dans la zone de recherche en haut de la fenêtre :
Raccourcis clavier pour Firefox
Il est tout à fait possible d’utiliser le navigateur Firefox uniquement à l’aide de la souris pour manipuler l’interface utilisateur (via les menus, le menu contextuel, les boîtes de dialogue, les barres d’outils, etc.), mais il faut savoir que de nombreux raccourcis clavier et combinaisons de touches sont disponibles pour effectuer plus rapidement et efficacement les actions les plus courantes. En général, on gagne un temps précieux en passant par les raccourcis clavier d’une application plutôt que par son interface graphique. Les menus de Firefox en indiquent quelques-uns, mais pas tous, loin de là.
L’aide en ligne de Mozilla, l’éditeur de Firefox en répertorie un très grand nombre. On peut les consulter sur la page Raccourcis clavier – Effectuer des tâches courantes dans Firefox rapidement.
Il faut aussi savoir que selon le système d’exploitation sur lequel on travaille (Windows, Mac OS ou Linux), les raccourcis clavier de Firefox ne sont pas forcément identiques.
