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

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

Vidéo: Modifier l'intervalle de mise à jour des marque-pages dynamiques dans Firefox

Vidéo: Modifier l'intervalle de mise à jour des marque-pages dynamiques dans Firefox
Vidéo: [NEW] How to Get Updates for Windows Vista in 2022 - YouTube 2024, Peut
Anonim

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 l'interface ne permet pas de la configurer.

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

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:
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.

Conseillé: