| Anmerkungseinstellungen |
|
| Zeichencodierung |
Web und XML gefolgt von einer der folgenden Möglichkeiten: CSS-Dateien, HTML-Dateien, JSP-Dateien, *XML-Dateien (*in WTP nicht implementiert) |
| Inhaltshilfe: HTML |
|
| Inhaltshilfe: JavaScript |
|
| Inhaltshilfe: XML |
|
| Darstellung des Editors |
|
| Schriftart des Editors |
|
| Editornavigation |
|
| Dateitypenspezifische Einstellungen |
Web und XML, dann navigieren Sie zum Dateityp und den zugehörigen Einstellungen. |
| Kurzinfo |
|
| Tastenbelegungen |
, dann im Feld
Kategorie die Quelle angeben |
| Rechtschreibprüfung |
Rechtschreibprüfung |
| Syntaxprüfung |
, dann Kontrollkästchen zum Analysieren
von Anmerkungen beim Schreiben aktivieren oder inaktivieren. |