Barres de défilement

Dans les versions actuelles de Firefox, suivant la mode apparue sur les ordiphones et leurs écrans au format timbre-poste, se masquent toutes seules au bout de quelques secondes d’inutilisation. Une option est toujours disponible pour désactiver cette absurdité, etc ce, sans même avoir besoin d’aller dans about:config.

Depuis la dernière refonte en date, elle se nomme « Toujours afficher les barres de défilement », elle est maintenant planquée dans Accessibilité > Navigation et défilement au clavier. Quel rapport avec le clavier, me direz-vous ? Aucune idée. Personnellement, je veux les afficher tout le temps pour pas avoir à bouger la souris quand je veux vérifier où j’en suis de l’article que je suis en train de lire, donc rien à voir avec le clavier… Mais un expert ergonome quelque part doit être d’un autre avis.

Accessoirement, il est également possible d’en modifier la largeur. C’est dans about:config, cette fois, via la clé de configuration widget.non-native-theme.scrollbar.size.override.

Ne plus charger les onglets épinglés au démarrage

Actuellement, Firefox ne charge plus tous les onglets au lancement du navigateur, histoire de ne pas mettre l’ordinateur à genoux d’entrée de jeu. Enfin, il ne le fait pas, sauf pour les onglets épinglés.

Si, comme moi, vous avez beaucoup d’onglets épinglés, parce que vous utilisez notamment cette fonctionnalité comme palliatif à la perte de feu l’excellente extension Faviconize Tab, vous pouvez faire en sorte qu’ils ne se pré-chargent plus non plus.

Comme souvent, c’est dans about:config, via la clé de configuration browser.sessionstore.restore_pinned_tabs_on_demand.

Retrouver un élément d’interface perdu

Il y a quelque temps, lors d’une mise à jour de Firefox, il m’a perdu l’élément « Éléments de la barre personnelle »…

En fouillant dans about:config, plus précisément dans la valeur de la clé browser.uiCustomization.state, qui représente l’organisation des éléments de l’interface, j’ai fini par la retrouver. Par chance, j’avais sur un autre ordi à côté, un Firefox configuré sensiblement pareil pour comparer, ce qui m’a permis de la retrouver relativement facilement.

Il s’agissait de l’élément personal-bookmarks qui était partie dans une autre zone qui manifestement ne s’affichait pas à l’écran… Je l’ai déplacée dans une zone visible et le problème était réglé.