Principal Vivaldi Comment masquer les boutons d'extension dans Vivaldi 1.7

Comment masquer les boutons d'extension dans Vivaldi 1.7



Un nouvel instantané du navigateur Web innovant Vivaldi est livré avec une nouvelle fonctionnalité utile. En un seul 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 le bascule de visibilité des extensions.

Page À propos de Vivladi 1.7Lorsqu'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 allez dans Outils -> Paramètres.
  2. Dans Paramètres, cliquez sur l'onglet Barre d'adresse sur la gauche.
  3. Sur la droite, activez l'option appelée Afficher le bascule de visibilité des extensions .

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

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

Extensions masquées:

cómo obtener archivos locales de Spotify en iPhone

Vous pouvez télécharger Vivaldi 1.7.715.3 ici:

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

Des Articles Intéressants

Choix De L'Éditeur

Comment désactiver la recherche sur la page 'Nouvel onglet' de Google Chrome
Comment désactiver la recherche sur la page 'Nouvel onglet' de Google Chrome
Certaines versions de Google Chrome pour Windows ainsi qu'Android ont récemment déployé une page `` Nouvel onglet '' mise à jour avec une zone de recherche Google bien visible sur la page. Google affirme avoir effectué cette modification, car les utilisateurs ne découvraient pas qu'ils pouvaient effectuer une recherche à partir de la barre d'adresse et avaient toujours l'habitude d'accéder à
Comment désactiver la réduction de la qualité du papier peint JPEG dans Windows 10
Comment désactiver la réduction de la qualité du papier peint JPEG dans Windows 10
Windows 10 réduit la qualité des images JPEG que vous définissez comme arrière-plan du bureau. Si vous comparez l'image d'origine et le papier peint, vous pouvez voir des artefacts JPEG mineurs.
Comment faire des autocollants pour WhatsApp
Comment faire des autocollants pour WhatsApp
Les autocollants sont parmi les moyens les plus populaires de créer des réactions et des emotes uniques. Ils améliorent vos conversations en étant plus faciles à comprendre que les emoji. Ceci est aidé par la vaste gamme d'autocollants sur le magasin d'autocollants WhatsApp. Si tu
9 façons de résoudre ce problème lorsqu'Android Auto ne fonctionne pas
9 façons de résoudre ce problème lorsqu'Android Auto ne fonctionne pas
De mauvaises connexions, une application corrompue, des paramètres ou des problèmes de compatibilité peuvent être à l'origine de problèmes avec Android Auto. Il y a 9 choses à vérifier pour identifier le problème et le résoudre.
Windows 10 build 14332 est sorti
Windows 10 build 14332 est sorti
Windows 10 build 14332 est disponible pour les initiés de Fast Ring. Téléchargez des images ISO et lisez les nouveautés.
Qu'est-ce qu'un fichier JAVA ?
Qu'est-ce qu'un fichier JAVA ?
Un fichier JAVA est un fichier de code source Java, un format de fichier texte brut essentiel au processus de création d'applications Java. Apprenez à ouvrir des fichiers JAVA.
Évaluation du disque dur Iomega Home Media Network Cloud Edition 2 To
Évaluation du disque dur Iomega Home Media Network Cloud Edition 2 To
L'édition Cloud du disque dur Home Media Network d'Iomega est une bouchée, mais l'appareil lui-même est un périphérique NAS agréablement compact offrant de nombreuses fonctionnalités d'un appareil Home Server complet. Ses 2 To de stockage interne peuvent être