Mit den Entwicklertools (Taste F12) kann der Quelltext einer HTML-Seite überprüft und geändert werden. Die Änderungen werden dabei sofort im Browserfenster angezeigt. Weiterhin können CSS-Einstellungen und Skripte der Internetseite leicht geändert werden. Diese zusätzlichen Entwicklertools sind gerade für Seitenersteller sehr hilfreich. Falls andere Programme verwendet werden oder die Entwicklertools nicht benötigt werden, dann können diese über die Registrierungsdatei abgeschalten werden.

So geht's:

• Starten Sie ...\windows\regedit.exe bzw. ...\winnt\regedt32.exe.
• Klicken Sie sich durch folgende Schlüssel (Ordner) hindurch:
  HKEY_CURRENT_USER
  Software
  Policies
  Microsoft
  Internet Explorer
  IEDevTools
  Falls die letzten Schlüssel noch nicht existieren, dann müssen Sie diese erstellen. Dazu klicken Sie mit der rechten Maustaste in das rechte Fenster. Im Kontextmenü wählen Sie "Neu" > "Schlüssel".
• Doppelklicken Sie auf den Schlüssel "Disabled".
  Falls dieser Schlüssel noch nicht existiert, dann müssen Sie ihn erstellen. Dazu klicken Sie mit der rechten Maustaste in das rechte Fenster. Im Kontextmenü wählen Sie "Neu" > "DWORD-Wert" (REG_DWORD). Als Schlüsselnamen geben Sie "Disabled" ein.
• Ändern Sie den Wert ggf. von "0" auf "1".
• Die Änderungen werden ggf. erst nach einem Neustart aktiv.

Hinweise:

• Disabled:
  0 = Der Zugriff auf die Entwicklertools (F12) ist möglich. (Standard)
  1 = Der Zugriff auf die Entwicklertools (F12) ist nicht möglich.
• Ändern Sie bitte nichts anderes in der Registrierungsdatei. Dies kann zur Folge haben, dass Windows und/oder Anwendungsprogramme nicht mehr richtig arbeiten.