Modifier l'intervalle de mise à jour de Live Bookmarks de Firefox

Si vous êtes un fan de la fonction de marque-pages dynamiques, on peut se demander comment les rendre plus rapide mise à jour depuis le temps d'actualisation par défaut est une fois par heure, et il n'ya pas un endroit dans l'interface pour configurer cela.

Vous pouvez toujours manuellement clic-droit sur le signet et choisissez Recharger Live Bookmark, mais ce n'est guère efficace si vous avez des dizaines d'aliments signet.

Vous pouvez changer l'intervalle par défaut pour tous les signets vivre avec une option de configuration. Il suffit de taper about: config dans la barre d'adresse, puis filtrer par la clé suivante:

browser.bookmarks.livemark_refresh_seconds

Si elle n'existe pas, ce qui est probablement le cas, alors faites un clic droit dans la zone vide et choisissez Nouveau Integer.

Copiez la clé d'en haut comme le nom, puis définir la valeur par défaut à 1800, ce qui est de 30 minutes en secondes.

La valeur par défaut est utilisée en interne 3600 si le paramètre n'existe pas. Vous devriez faire attention à ne pas fixer une valeur trop basse, comme vous pourriez être banni par le serveur que vous essayez de vous connecter si vous avez le navigateur à jour trop souvent. La valeur minimale acceptée est de 60 secondes, mais vous ne devriez jamais mis aussi bas.