Safari 5 : 20 extensions indispensables

Image 1 : Safari 5 : 20 extensions indispensables

Pensez à activer la gestion des extensions !

Une première chose à savoir avant de vous lancer dans l’aventure des extensions sous Safari, c’est que celles-ci ne marcheront pas si votre nouveau navigateur est tout fraichement installé. Une petite manipulation est en effet nécessaire pour activer le menu qui vous donnera accès à ces petites applications.

Pour cela, il suffit donc de se rendre dans les préférences de Safari, puis de choisir l’onglet « Avancées ». Cochez ensuite l’option « Afficher le menu Développement dans la barre des menus ». Ressortez, puis rendez-vous dans le menu « Développement », qui est apparu après cette première manipulation. Dans ce menu, cliquez l’option « Activer les extensions ». Enfin, vous pouvez retourner vérifier dans les préférences que l’onglet « Extensions » est apparu. De là, vous pourrez gérer vos extensions et les activer ou désactiver individuellement.

Télécharger Safari 5