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

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



Laisser une réponse

Nous disons toujours que la meilleure fonctionnalité 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 addons, les thèmes et les personnages peuvent le changer. L'accès aux options d'extension dans Firefox est aujourd'hui fastidieux. Firefox ouvre une page d'addons séparée 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 Add-ons à 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 des options d'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 d'options pour toute extension installée. Cliquez sur le menu Options d'extension.
  5. La boîte de dialogue suivante apparaîtra:
    Menu d
  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 cliquer du milieu sur la page d'accueil ouverte si elle est définie
      Cliquez sur OK.
  7. Maintenant, accéder aux options de vos extensions préférées sera beaucoup plus facile grâce au menu volant.
    Options d

    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

Des Articles Intéressants

Choix De L'Éditeur

Configuration système requise pour Windows 8.1 et nouvelles fonctionnalités
Configuration système requise pour Windows 8.1 et nouvelles fonctionnalités
Aujourd'hui, c'est le jour de la sortie officielle de Windows 8.1, vous auriez probablement remarqué que - le Web est en effervescence avec toutes sortes d'informations liées au nouveau système d'exploitation. Tous les utilisateurs de Windows 8 pourront l'installer via l'application Store intégrée. C'est un moyen de distribution très pratique,
Amazon Fire TV Stick est bloqué avec un zoom avant - Comment dézoomer
Amazon Fire TV Stick est bloqué avec un zoom avant - Comment dézoomer
Selon la boîte aux lettres TechJunkie, un écran Amazon Fire Stick qui se bloque lors d'un zoom avant est assez courant. Ajouté dans le cadre d'une gamme de fonctionnalités d'accessibilité, le zoom vous permet d'agrandir une partie de votre écran pour faire
Comment réparer CapCut ne fonctionne pas
Comment réparer CapCut ne fonctionne pas
Si vous utilisez CapCut pour des projets de montage vidéo, vous avez peut-être rencontré des problèmes avec l'application qui ne fonctionnait pas. Heureusement, la résolution des problèmes de CapCut est généralement relativement simple. Après avoir corrigé votre application, vous reprendrez la modification de votre contenu pour TikTok, YouTube et
Comment trouver des chaînes sur Telegram
Comment trouver des chaînes sur Telegram
Telegram est une nouvelle application de messagerie en herbe qui prend le monde d'assaut. L'application est gratuite, rapide et prétend être l'un des messagers les plus sûrs du marché. Il permet aux gens de se connecter facilement, sans aucune limite. Vous pouvez
Comment utiliser le signe de la main dans la fête à la maison
Comment utiliser le signe de la main dans la fête à la maison
Même ceux qui n’ont jamais utilisé House Party reconnaîtront son célèbre logo - la main jaune agitant sur le fond rouge. Il semble que cela vous invite à vous joindre à la fête et à commencer à discuter avec vos amis.
Modifier le niveau de chiffrement du partage de fichiers dans Windows 10
Modifier le niveau de chiffrement du partage de fichiers dans Windows 10
Windows utilise un cryptage 128 bits pour protéger les connexions de partage de fichiers par défaut. Certains appareils ne prennent pas en charge le cryptage 128 bits et doivent utiliser un cryptage 40 ou 56 bits.
Comment créer un diaporama avec Google Photos
Comment créer un diaporama avec Google Photos
Google Photos vous permet de créer un diaporama de photos à partager avec vos amis. Vous pouvez ajouter des diaporamas à votre smartphone et à Google Home Hub.