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. |