in

Modifier l’intervalle de mise à jour des signets dynamiques dans Firefox

Si vous êtes fan de la fonctionnalité Live Bookmarks, vous vous demandez peut-être comment les mettre à jour plus rapidement car le temps de mise à jour par défaut est une fois par heure, et il n’y a pas de place dans l’interface pour configurer cela.

Vous pouvez toujours cliquer manuellement avec le bouton droit sur le signet et choisir Recharger le signet en direct, mais ce n’est guère efficace si vous avez des dizaines de flux mis en signet.

Vous pouvez modifier l’intervalle par défaut pour tous les signets en direct avec un paramètre de configuration. Tapez simplement about: config dans la barre d’adresse, puis filtrez par la clé suivante:

browser.bookmarks.livemark_refresh_seconds

S’il n’existe pas, ce qui est très probablement le cas, cliquez avec le bouton droit de la souris dans la zone vide et choisissez Nouveau Entier.

Copiez la clé ci-dessus comme nom, puis définissez la valeur par défaut sur 1800, soit 30 minutes en secondes.

La valeur par défaut utilisée en interne est 3600 si le paramètre n’existe pas. Vous devez faire attention à ne pas définir cette valeur trop bas, car vous pourriez être banni par le serveur auquel vous essayez de vous connecter si le navigateur se met à jour trop souvent. La valeur minimale acceptée est de 60 secondes, mais vous ne devez jamais la définir aussi bas.

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Comment masquer une publication Facebook (sans la supprimer)

Comment masquer une publication Facebook (sans la supprimer)

Comment calculer les augmentations en pourcentage dans Excel