Navigateurs / Browsers


Un navigateur web est un logiciel conçu pour consulter le Web. Il existe de nombreux navigateurs web, pour toutes sortes de matériels (ordinateur personnel, tablette tactile, téléphones mobiles, etc.) et pour différents systèmes d'exploitation (GNU/Linux, Windows, Mac OS, iOS et Android). Les plus utilisés à l'heure actuelle sont Google Chrome, Mozilla Firefox, Internet Explorer, Safari et Opera (Source. Wikipedia).

Fil des billets - Fil des commentaires

lundi, 13 avril, 2020

Faster Pageload - accélérez le téléchargement des pages web sous Firefox

Firefox - accélérez encore plus le téléchargement des pages web

Firefox - accélérez encore plus le téléchargement des pages web

Cette extension (Faster Pageload) pour Firefox accélère le téléchargement des pages ou le curseur de votre souris passe dessus. Il faut savoir qu'un surfeur web à toujours un temps d'hésitation avant de procéder à un clic sur un lien. C'est durant ce laps de temps que la page est pré-chargée en arrière-plan par l'extension. Ceci est supposé permettre un affichage plus rapide des scripts, des images, bref de tout ce qui compose une page web. 

Je vous laisse juge de l'efficacité de cette extension. Difficile à juger à l'oeil nu ! Vos commentaires sont les bienvenus afin de partager votre expérience...

Procédure d'installation

1° Téléchargez et installez cette extension
2° Tapez about:config dans la barre d'adresse
3° Recherchez network.dns.disablePrefetchFromHTTPS et modifiez la sur false
4° Recherchez network.predictor.enable-prefetch et modifiez la en true

jeudi, 9 avril, 2020

Comment modifier le moteur de recherche dans Microsoft Edge Chromium

Comment modifier le moteur de recherche dans Edge Chromium

Cliquez sur les 3 points en haut à droite de la barre de recherche. Dans le menu qui s'affiche, cliquez sur Paramètres.

Cliquez à gauche sur le menu Confidentialité et services.

Sur la page qui s'ouvre, scrollez jusqu'en bas de page et cliquez sur la flèche à droite de Barre d'adresse (voir flèche rouge ci-dessus).

Choisissez le moteur de votre choix et fermez l'onglet. 

Si la liste ne contient pas le moteur de recherche désiré, allez une seule fois sur ce moteur, effectuez une recherche et il se rajoutera automatiquement à la liste. Vous pourrez ainsi le choisir comme moteur par défaut.

Comment modifier le moteur de recherche dans Edge Chromium

- page 2 de 174 -