Principal Firefox Activer le badge de mise à jour dans Firefox

Activer le badge de mise à jour dans Firefox



Comme vous le savez peut-être, Mozilla Firefox peut se mettre à jour automatiquement. Si vous n'avez pas modifié les paramètres par défaut lorsque vous l'avez installé, il sera configuré pour vérifier périodiquement les mises à jour et les installer, de sorte que vous disposerez toujours d'un navigateur à jour. Cependant, rien n'indique clairement qu'une mise à jour est disponible pour Firefox jusqu'à ce que vous le redémarrer , donc Mozilla a finalement ajouté un badge spécial pour indiquer que des mises à jour sont disponibles pour Firefox. Le badge de mise à jour est désactivé par défaut. Voici comment l'activer.

Auparavant, pour voir si des mises à jour étaient disponibles pour Firefox, vous deviez ouvrir la boîte de dialogue À propos. Dans Firefox 36, qui est toujours dans la branche Nightly, Mozilla a ajouté un mettre à jour le badge . C'est une petite icône qui apparaît sur le bouton de menu Hamburger sous la forme d'une étoile rouge ou verte.
Badge de mise à jour Firefox
Une icône en forme d'étoile rouge est utilisée pour indiquer une mise à jour du navigateur et une icône verte pour les mises à jour du plugin.
Pour activer l'icône du badge de mise à jour, qui est désactivée par défaut, vous devez effectuer les opérations suivantes:

  1. Ouvrez un nouvel onglet et saisissez le texte suivant dans la barre d'adresse:
    about: config

    Confirmez que vous serez prudent si un message d'avertissement apparaît pour vous.

  2. Entrez le texte suivant dans la zone de filtre:
    app.update.badge
  3. Vous verrez le app.update.badge paramètre. Réglez-le simplement sur true pour activer le badge de mise à jour.
    update.badge

Lorsqu'une mise à jour arrive la prochaine fois, une icône en forme d'étoile apparaîtra sur l'icône du bouton de menu. Vous pouvez cliquer sur le bouton de menu pour redémarrer le navigateur et appliquer la mise à jour.
Redémarrage du badge de mise à jour Firefox
C'est ça.

Des Articles Intéressants

Choix De L'Éditeur

Comment savoir qui est un appelant inconnu
Comment savoir qui est un appelant inconnu
Si vous recevez fréquemment des appels indésirables provenant de numéros indésirables, vous êtes probablement frustré et cherchez des moyens de les arrêter. Malheureusement, comme vous ne savez pas à quoi ressemble ce numéro, vous
Comment mettre à jour les applications sur un LG Smart TV
Comment mettre à jour les applications sur un LG Smart TV
Les téléviseurs intelligents ont changé la donne et sont désormais un élément indispensable de bon nombre de nos salons. Non seulement ils affichent la télévision en haute définition ou en Ultra HD, mais ils peuvent également accéder à Internet, naviguer sur le Web, utiliser des applications telles que
Restaurer l'ancien gestionnaire de favoris sur Google Chrome
Restaurer l'ancien gestionnaire de favoris sur Google Chrome
Comment désactiver le nouveau gestionnaire de favoris en mosaïque dans Google Chrome et restaurer la bonne vieille interface de favoris.
Comment reconstruire l'index de recherche dans Windows 10
Comment reconstruire l'index de recherche dans Windows 10
Si vous avez rencontré un problème où Search et Cortana ne trouvent rien, vous pouvez essayer de reconstruire l'index de recherche dans Windows 10.
Où sont enregistrés les téléchargements Netflix sur l'iPhone
Où sont enregistrés les téléchargements Netflix sur l'iPhone
De nos jours, toute personne disposant d'un abonnement Netflix peut télécharger et regarder ses films et émissions de télévision préférés hors ligne. Dans le passé, ce n'était pas toujours le cas. L'orientation initiale était de fournir un accès aux pays souffrant d'un accès Internet peu fiable.
Comment republier la vidéo TikTok de quelqu'un d'autre
Comment republier la vidéo TikTok de quelqu'un d'autre
Toutes les vidéos TikTok n'ont pas besoin d'être 100% originales. Certains comptes se consacrent à republier les vidéos d'autres personnes. Bien sûr, il est toujours préférable d'obtenir la permission du créateur au préalable pour éviter toute plainte. TikTok décourage ses utilisateurs de republier chaque
Comment gérer le contrôle parental sur un Firestick
Comment gérer le contrôle parental sur un Firestick
En ce qui concerne les appareils de streaming, Amazon Fire Stick est l'une des meilleures options disponibles. L'une des raisons pour lesquelles les ménages avec enfants bénéficient de son utilisation, ce sont les paramètres de contrôle parental intégrés. Avec Fire Stick, vous pouvez gérer ce