Changer l'intervalle de mise à jour des marque-pages dynamiques dans Firefox

Si vous êtes un fan de la fonctionnalité de marque-pages dynamiques, vous pouvez vous demander comment les mettre à jour plus rapidement, car l'heure de mise à jour par défaut est d'une fois par heure et il n'y a pas d'endroit dans l'interface pour configurer cette fonction..

Vous pouvez toujours manuellement cliquer 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 en signet..

Vous pouvez modifier l'intervalle par défaut pour tous les favoris en direct avec un paramètre de configuration. Tapez simplement about: config dans la barre d'adresse, puis filtrez avec 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 le nom ci-dessus dans la clé, 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. Veillez à ne pas définir cette valeur sur une valeur trop basse, car vous pourriez être banni par le serveur auquel vous essayez de vous connecter si le navigateur est mis à jour trop souvent. La valeur minimale acceptée est de 60 secondes, mais vous ne devez jamais la définir aussi basse..