Vivaldi 1.2 : des raccourcis à la souris personnalisés

02 juin 2016 à 09h10
0
Vivaldi annonce une nouvelle version de son navigateur Internet avec davantage de fonctionnalités pour les internautes avertis.

L'équipe de Vivaldi continue les travaux portés sur son navigateur et multiplie les options avancées pour optimiser le surf. Ainsi, si les gestuelles effectuées à la souris étaient déjà présentes, cette fois, il est possible de les personnaliser. Il ne sera donc plus nécessaire de passer par une extension tierce.

Cela devrait notamment simplifier la migration des habitués de la navigation à la souris depuis Firefox avec l'extension Fire Gestures ou Chrome avec Smooth Gestures.

Le navigateur embarque une autre fonctionnalité particulièrement intéressante : la possibilité de juxtaposer parfaitement plusieurs onglets. Pour ce faire, il faudra sélectionner ces derniers avec le pointeur de la souris et les touches Shift ou CTRL puis cliquer droit et sélectionner l'option adéquate. On pourra alors conserver cet affichage tout en ouvrant de nouvelles pages. Paradoxalement, il n'est toujours pas possible de tirer un onglet pour le replacer vers une nouvelle fenêtre.


Les développeurs ont ajouté un mode zoom pouvant être configuré pour chacune des pages et ce, jusqu'à 500%. Par ailleurs, de nouveaux raccourcis du clavier sont disponibles et personnalisables.


035C000008459854-photo-dashlane.jpg
Modifié le 01/06/2018 à 15h36
Soyez toujours courtois dans vos commentaires.
Respectez le réglement de la communauté.
0
0

Actualités récentes

Samsung Galaxy A20e : 60€ de remise sur le smartphone d'entrée de gamme Samsung
The Witcher 3 s'offre une nouvelle quête grâce à des moddeurs, et elle est doublée grâce à l'IA
Le Samsung Galaxy S22 se montre (déjà) dans des premiers rendus en 3D
Nintendo souhaite créer plus de nouvelles licences sur Switch
Valve essaierait d’intégrer le Game Pass sur Steam
Un nouveau pas vers une vraie compatibilité de Linux avec les Apple Silicon M1
Nintendo prévient : une pénurie de Switch est plausible cette année
Brave bloque déjà FLoC, le descendant des cookies tiers de Google
Comment choisir votre téléviseur ? Tous nos conseils pour faire le bon choix
Qu'est ce que le réseau Tor ? Est-il infaillible ?
Haut de page