Windows Tips & News

Comment masquer les boutons d'extension dans Vivaldi 1.7

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

Un nouvel instantané du navigateur Web innovant Vivaldi est livré avec une nouvelle fonctionnalité utile. D'un simple clic, vous pouvez masquer tous les boutons d'extension à droite de la barre d'adresse.

Cela est devenu possible avec la sortie de la branche Vivaldi 1.7. Une nouvelle version d'instantané 1.7.715.3 a une nouvelle option sous Paramètres → Barre d'adresse → Extensions → Afficher la bascule de visibilité des extensions.

Vivladi 1.7 À propos de la pageLorsqu'il est activé, un nouveau bouton spécial apparaîtra dans la barre d'adresse qui masquera les boutons d'extension. Essayons-le en action.

Comment masquer les boutons d'extension dans Vivaldi 1.7

  1. Cliquez sur l'icône Vivladi dans la barre de titre et accédez à Outils -> Paramètres.Menu Paramètres des outils Vivaldi
  2. Dans Paramètres, cliquez sur l'onglet Barre d'adresse sur la gauche.Onglet de la barre d'adresse des paramètres de Vivaldi
  3. Sur la droite, activez l'option appelée Afficher le basculement de la visibilité des extensions.Vivaldi Afficher les extensions de visibilité à bascule

Un nouveau bouton apparaîtra sur le bord droit du panneau de la barre d'adresse. Cela ressemble à trois points verticaux :

Bouton à bascule de la barre d'extension Vivaldi

Cliquez dessus pour afficher ou masquer les extensions.
Extensions visibles :Extensions Vivladi visibles

Extensions masquées :Extensions Vivladi cachées

Vous pouvez télécharger Vivaldi 1.7.715.3 ici :

  • Les fenêtres: 32 bits pour Win7+ | 64 bits pour Win7+
    Remarque: les développeurs recommandent d'utiliser la version 32 bits dans la version Windows 64 bits.
  • macOS: 10.9+
  • DEB Linux: 64 bits (Recommandé) | 32 bits
  • RPM Linux: 64 bits (Recommandé) | 32 bits

Que pensez-vous de ce changement? Aimez-vous la possibilité de masquer la barre d'extension ?

CONSEILLÉ: Cliquez ici pour résoudre les problèmes de Windows et optimiser les performances du système
Créer un raccourci de date et d'heure dans Windows 10

Créer un raccourci de date et d'heure dans Windows 10

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

Lire la suite

Comment arrêter l'application de mise à niveau de Windows 10 (GWX)

Comment arrêter l'application de mise à niveau de Windows 10 (GWX)

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

Lire la suite

Comment masquer l'icône de skype dans la barre d'état

Comment masquer l'icône de skype dans la barre d'état

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

Lire la suite