Windows Tips & News

Accédez aux options de l'extension/du module complémentaire Firefox à partir d'un menu

CONSEILLÉ: Cliquez ici pour résoudre les problèmes de Windows et optimiser les performances du système

Nous disons toujours que la meilleure caractéristique de Firefox est la personnalisation inégalée offerte par le navigateur. Même si vous n'aimez pas l'interface utilisateur et l'apparence par défaut de Firefox, les modules complémentaires, les thèmes et les personas peuvent le changer. L'accès aux options d'extension dans Firefox est aujourd'hui fastidieux. Firefox ouvre une page d'extensions distincte dans un nouvel onglet pour les gérer. Il faut plusieurs clics pour accéder aux options d'extension, puis vous devez fermer la page des modules complémentaires à chaque fois. C'est là qu'une extension appelée « Menu d'options d'extension » aide.

Publicité

« Menu d'options d'extension » est une extension Firefox qui ajoute un sous-menu au menu Outils/Barre de titre de Firefox pour accéder directement aux options de toute extension installée. Ceci est très pratique et réduit le nombre de clics nécessaires pour les configurer.

  1. Téléchargez le « Menu d'options des extensions » à partir de cette page.
  2. Cliquez sur le bouton « Ajouter à Firefox », attendez quelques secondes et cliquez sur le bouton Installer maintenant pour installer l'addon.
  3. Redémarrez Firefox.
  4. Lorsque Firefox s'ouvre à nouveau, cliquez sur le menu Outils/bouton Orange Firefox et vous verrez qu'un nouvel élément appelé "Options d'extension" a été ajouté. Son menu déroulant vous permet d'accéder directement à la boîte de dialogue des options pour toute extension installée. Cliquez sur Menu Options d'extension.
  5. La boîte de dialogue suivante apparaîtra :
    Menu d'options de poste
  6. Cochez ces options si vous le souhaitez :
    • Afficher les versions
    • Afficher le menu de redémarrage en bas de la liste
    • Autoriser le clic droit pour activer/désactiver l'élément et le clic central pour ouvrir la page d'accueil s'il est défini
      Cliquez sur OK.
  7. Désormais, accéder aux options de vos extensions préférées sera beaucoup plus facile grâce au menu déroulant.
    Possibilités d'extension

    Vous pouvez même voir leurs versions. De plus, toutes les extensions sans options configurables sont masquées, ce qui réduit l'encombrement et il existe une option de redémarrage pratique. Si vous avez désactivé la barre de menus, elle ajoute également un bouton de barre d'outils pour accéder rapidement aux options d'extension :
    Bouton de la barre d'outils

CONSEILLÉ: Cliquez ici pour résoudre les problèmes de Windows et optimiser les performances du système
Activer le programmeur de téléchargement ultérieur dans Chrome sur Android

Activer le programmeur de téléchargement ultérieur dans Chrome sur Android

Comment activer le programmeur de téléchargement ultérieur dans Chrome sur AndroidChrome sur Andr...

Lire la suite

Ajouter ou supprimer PowerShell 7 Ouvrir ici le menu contextuel dans Windows 10

Ajouter ou supprimer PowerShell 7 Ouvrir ici le menu contextuel dans Windows 10

Comment ajouter ou supprimer PowerShell 7 Ouvrir ici le menu contextuel dans Windows 10Microsoft ...

Lire la suite

Vous pouvez désormais envoyer une page depuis Edge Stable vers d'autres appareils

Vous pouvez désormais envoyer une page depuis Edge Stable vers d'autres appareils

CONSEILLÉ: Cliquez ici pour résoudre les problèmes de Windows et optimiser les performances du sy...

Lire la suite