Les préférences de Firefox 37 dans un onglet

categories:

Le projet d'afficher les préférences de Firefox dans un onglet du navigateur plutôt que dans une petite fenêtre indépendante, remonte au moins à Firefox 15. Et avec Firefox 37 en version bêta, il se peut que cela arrive pour de vrai.

Tout est dans l'onglet

Dans Firefox 37 en version beta, Les préférences de Firefox apparaissent par défaut dans un onglet du navigateur, comme le montre cette capture d'écran :

Preferences dans un onglet, Firefox 37

Les «Préférences» deviennent des pages comme toute page sur le web et un navigateur n'est plus un navigateur à fenêtres depuis longtemps (les onglets étant bien plus légers). C'est logique mais ces pages ne sont pas élégantes si on aime bien les couleurs.

Sur certains écrans de portables, la page ne s'affiche pas en entier, ce qui n'est pas pratique. Il est possible de réduire la taille de la police avec la commande usuelle [Ctrl--] mais ce n'est pas une solution très satisfaisante. Sur le Web en général, c'est plutôt la commande [Ctrl--+] que j'utilise car les polices de caractères sont souvent trop petites.

Mozilla lance un essai pour cette nouvelle présentation des «Préférences» de Firefox. Mais comme on le voit sur cette deuxième capture d'écran, si on clique sur un bouton d'une page des préférences, c'est une petite fenêtre qui s'ouvre en «overlay», comme on dit en bon anglais (en «surimposition») :

Sous-preferences en surimposition sur un onglet, Firefox 37

Retrouver la petite fenêtre indépendante des «Préférences»

Pour le moment, il est toujours possible de retrouver la petite fenêtre indépendante des «Préférences» de Firefox. C'est une option dans la page about:config :

  • Tapez about:config dans la barre d'URL pour ouvrir la page de configuration cachée de Firefox ;
  • Dans la page d'avertissement qui s'affiche, cliquez sur le bouton qui vous demande d'agir avec prudence avant d'aller démolir le bon fonctionnement de votre Firefox ;
  • En haut de la page de configuration qui s'affiche, il y a un champ de recherche. Tapez-y ou copiez-collez-y ceci exactement :
    browser.preferences.inContent
  • La page de configuration affiche maintenant cette unique ligne, dont la valeur est True ;
  • Pour retrouver votre ancienne fenêtre des «Préférences», il suffit de double-cliquer sur cette ligne pour commuter «True» en «False» (voyez les détails Firefox 36 - Retrouvez votre barre de recherche habituelle ;
  • Le changement est immédiat et vous pouvez fermer l'onglet de la page de configuration.

Cette même méthode est encore possible dans Firefox 41 (bêta).