Principal Firefox Deux extensions Firefox pour modifier la barre de recherche, activer Tout surligner, le nombre de correspondances et d'autres modifications

Deux extensions Firefox pour modifier la barre de recherche, activer Tout surligner, le nombre de correspondances et d'autres modifications



Dans n'importe quel navigateur, la barre de recherche qui apparaît en appuyant sur Ctrl + F est très utile pour localiser rapidement n'importe quel mot ou phase sur la page sans le rechercher manuellement. La barre de recherche de Mozilla Firefox a fait cruellement défaut dans certaines fonctions clés, en particulier dans les versions plus récentes de Firefox. Examinons deux extensions qui ajoutent des fonctionnalités essentielles à la barre de recherche.

Publicité

Comment activer automatiquement la barre de recherche dans Firefox pour chaque onglet

Le premier de ces deux addons s'appelle GlobalFindBar . Depuis Firefox 25, la barre de recherche n'est activée par défaut que pour un seul onglet lorsque vous appuyez sur Ctrl + F. Cet addon l'allume pour tous les onglets. Il existe également une option pour activer la barre de recherche par domaine d'onglets et par fenêtre, ou pour toutes les fenêtres. Je vous recommande de définir ceci sur Tous les onglets et Toutes les fenêtres .
GlobalFindBar
Il vous permet également de contrôler la façon dont la barre de recherche doit être focalisée lorsqu'un onglet est sélectionné. J'ai mis ça à Toujours .

Conseil: vous pouvez accéder aux options de n'importe quel module complémentaire à partir du menu Outils de Firefox si vous installez le ' Menu d'options d'extension ' Ajouter.

Comment ajouter le nombre de correspondances à la barre de recherche, activer tout mettre en surbrillance par défaut, personnaliser les couleurs de surbrillance et bien plus encore

Le deuxième module complémentaire appelé FindBar Tweak ajoute un autre ensemble de fonctionnalités essentielles.

FindBar Tweak1

Sur le premier onglet de ses options appelé général , J'ai coché l'option ' Se souvenir de l'état ouvert / fermé du Firebar au démarrage 'et décoché le reste. Vous pouvez les définir comme vous le souhaitez. Sur le Apparence onglet, vérifier ' Afficher le compteur de correspondances dans la barre de recherche 'pour afficher le nombre de correspondances trouvées sur la page pour le mot ou la phrase que vous saisissez dans la zone Rechercher. Vous pouvez également modifier la couleur du hit actuel ici et un certain nombre d'autres ajustements. Sur le Points forts onglet, j'ai vérifié ' Mettez en surbrillance toutes les correspondances par défaut ',' Mettez également en évidence sur `` Rechercher à nouveau '' (F3) ' et ' Supprimer les surlignages lorsque la barre de recherche est fermée ».

FindBar Tweak2

cómo cambiar tu nombre épico

Cette extension est également livrée avec quelques ajustements qui sont tout à fait inutiles à mon avis, tels que l'affichage de la grille de surbrillance dans la barre de défilement, et une fonction `` Vues '' qui montre une animation pour mettre en évidence le coup actuel lorsque vous appuyez sur Ctrl + F. Je les ai désactivés par défaut. Dans l'onglet Tweaks, vous pouvez choisir si le fait d'appuyer à nouveau sur Ctrl + F clive la barre de recherche. J'ai également décoché ceci car Esc le ferme de toute façon.

Mots de clôture

GlobalFindBar et FindBar Tweak tous deux améliorent définitivement la barre de recherche de Firefox avec des fonctionnalités essentielles, mais il est dommage que vous deviez installer des addons aujourd'hui dans Firefox pour ces réglages de base.

Des Articles Intéressants

Choix De L'Éditeur

Feuille de calcul de référence de stratégie de groupe pour Windows 10 version 1809
Feuille de calcul de référence de stratégie de groupe pour Windows 10 version 1809
Microsoft a publié une feuille de calcul spéciale qui couvre toutes les options de stratégie de groupe pour Windows 10 version 1809, connue sous le nom de `` mise à jour d'octobre 2018 ''.
Comment trouver rapidement l'index d'expérience Windows dans Windows 10
Comment trouver rapidement l'index d'expérience Windows dans Windows 10
Si vous souhaitez savoir quel est votre index d'expérience Windows, voici comment l'afficher rapidement dans Windows 10 et Windows 8.1
Comment réparer un écran de téléphone scintillant
Comment réparer un écran de téléphone scintillant
Une collection de solutions éprouvées pour les problèmes de scintillement des téléphones iPhone et Android avec quelques conseils bonus pour utiliser l'écran cassé et le réparer.
Comment supprimer des réactions dans Slack
Comment supprimer des réactions dans Slack
Slack est un outil pratique pour les entreprises qui disposent d'équipes de travailleurs mobiles réparties dans le monde entier. Il est simple à utiliser, bien organisé et comprend tout ce dont un bureau virtuel peut avoir besoin. Sur une chaîne Slack, vous pouvez réfléchir avec
Comment ajouter de la musique approuvée à un flux Twitch
Comment ajouter de la musique approuvée à un flux Twitch
La musique crée une excellente atmosphère pour vos flux Twitch, les rendant plus mémorables pour les téléspectateurs. Cependant, vous ne pouvez pas simplement ajouter n'importe quel type de musique, à moins que vous ne vouliez faire face à une violation du droit d'auteur. Il y a une liste claire de
Comment vérifier si le chargeur de démarrage est déverrouillé
Comment vérifier si le chargeur de démarrage est déverrouillé
Android est un système personnalisable que vous pouvez modifier pour répondre à vos besoins. Par exemple, si vous avez une ancienne version d'Android qui a cessé de se mettre à jour, vous pouvez simplement flasher une ROM personnalisée et la mettre à jour. Pour faire ça
Activer le bloqueur de redirection dans Google Chrome
Activer le bloqueur de redirection dans Google Chrome
Chrome 64 sera la première version du navigateur avec un bloqueur de redirection activé par défaut, mais vous pouvez l'activer dès maintenant.