Gratis-Erweiterung IE7pro ergänzt den Internet Explorer 7 um etliche Optionen:
- Werbefilter
- erweitertes Drag&Drop bei Tabs
- Mouse gestures
- ...
Download![](http://www.ie7pro.com/images/ie7pro-003.png)
Gestartet wird das Konfigurations-Menü des Plug-ins über die Tastenkombination [STRG]+[ALT]+[7].
(Für viele Firefox-Benutzer schon lang bekannte Werkzeuge werden nun auch für den Internet Explorer adaptiert.)