Accueil🇫🇷Chercher

IE7Pro

IE7Pro est un module d'extension (plugin) pour Internet Explorer (version 6, 7 et 8)[1] qui ajoute au navigateur un filtre anti-publicité et une gestion plus intuitive de la souris. Il améliore aussi la gestion des onglets et de l'interface graphique et permet l'exécution de scripts utilisateurs du type Greasemonkey pour IE[2].

IE7Pro

Un module d'extension modulaire

IE7Pro est divisé en interne en une multitude de modules plus ou moins indépendants les uns des autres. Chaque module peut être activé ou désactivé (non chargé au démarrage) afin d'accélérer le chargement du navigateur au maximum. Cela évite aussi de causer des problèmes de conflits avec des fonctions qui ne sont pas utilisées.

IE7Pro a son propre système d'extension. Il est possible de lui ajouter des modules supplémentaires. Il est aussi possible de créer des modules d'extension en JavaScript, ajoutant de petites fonctionnalités comme sauver la liste des onglets ouverts ou afficher une console JavaScript similaire à Firebug.

Fonctionnalités

Sont mis entre parenthèses des modules pour FireFox ou Internet Explorer qui ajoutent à peu près la même fonctionnalité.

Des modules additionnels :

Des modules déjà existants :

Notes et références

  1. IE7Pro est un add-on pour Internet Explorer 7 (puis IE6 et enfin IE8)
  2. Une conversion des scripts reste nécessaire due aux différences entre IE et FireFox et aux noms et aux signatures parfois différentes des fonctions GM_xxx() et PRO_xxx()

Voir aussi

Article connexe

Lien externe

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.