Windows Tips & News

Firefox 50 est livré avec une interface utilisateur de recherche affinée

3 réponses

Firefox 50, qui est actuellement en début de développement sur la chaîne Nightly, sera doté d'une interface utilisateur de recherche améliorée. Le navigateur fournira un nouveau Ctrl + F comportement et apparence.

Voici à quoi cela ressemble hors de la boîte :Firefox 50 nouvelle interface de recherche

Pour personnaliser son comportement, il existe deux options de configuration que vous pouvez utiliser.

  1. Ouvrez un nouvel onglet et saisissez le texte suivant dans la barre d'adresse:
    à propos de: configuration

    Confirmez que vous serez prudent si un message d'avertissement s'affiche pour vous.

  2. Saisissez le texte suivant dans la zone de filtre :
    findbar.modalHighlight
  3. Si vous désactivez cette option, Firefox ne ternira pas le contenu de la page lorsque vous rechercherez du texte. Il ressemble à ceci :

    Remarque: vous devez redémarrer le navigateur pour qu'il fonctionne.
  4. Une autre option est findbar.highlightAll.Si vous le désactivez, Firefox mettra en évidence uniquement l'occurrence actuelle du terme de recherche :
    Lorsque vous appuyez sur F3 ou cliquez sur Suivant, le suivant sera mis en surbrillance.

Regardez la vidéo suivante pour le voir en action :

Astuce: vous pouvez abonnez-vous à Winaero sur YouTube.

Vous aimez cette nouvelle interface de recherche? Qu'est-ce que tu en penses? Dites le nous dans les commentaires.

Windows 11 Build 22000.708 ajoute Windows Spotlight for Desktop à la version stable du système d'exploitation

Windows 11 Build 22000.708 ajoute Windows Spotlight for Desktop à la version stable du système d'exploitation

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

Lire la suite

Comment désactiver les DRM dans Firefox 38

Comment désactiver les DRM dans Firefox 38

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

Lire la suite

Windows 10 Build 17711 est sorti avec de nouvelles fonctionnalités

Windows 10 Build 17711 est sorti avec de nouvelles fonctionnalités

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

Lire la suite