Wenn ich den Anfangstag schreiben, und anschließenden ausversehen nicht richtig die Shift-Taste erwische und das Tag mit dem Kleinerzeichen schließe, dann wird das Schließen-Tag angefühgt.
Also:
aus
<p<
wird
<p<</p>.
wenn ich dann das falsche Kleinerzeichen korrigiere habe ich
<p></p></p>

und?

Ist in der Version 5.6 nicht mehr der Fall

Der Vollständigkeit halber: Passiert auch mit '|'. Ist wie geschrieben in der 5.6 behoben. Danke für die Fehlermeldung .

stimmt, ich hätte noch erwähnen sollen, dass ich dass für einen Bug halte, und dass man das bitte ändert. Ich werde versuchen mich zu bessern.


Wenn der Fehler bekannt ist, warum taucht er dann nicht unter offene Fehler auf?

Er wurde auch von uns erst vor kurzem entdeckt. Und da wir auch nur Menschen sind, kriegen wir auch nicht immer alles sofort auf die Reihe. Kein Grund, unentspannt zu werden .

Ich bin entspannt, nur kurz angebunden.

In der Version 5.6 wird nach Eingabe von <p< kein Endtag eingefügt werden. Und? Dann belibt dort stehen:

<p<

was sicher so gewollt ist. :-)

Langsam verstehe ich, welchen Sinn dieses Feature haben sollte. Nun, an dieser Stelle ist das '<' vielleicht nicht gewollt, aber wenn das dafür gedacht war, dass Shift-Tasten-Verfehler und AltGr-Statt-Shift-Drücker auch ein schließendes Tag bekommen, dann müssten konsequenterweise '<' und '|' auch automatisch in '>' umgewandelt werden. Denn wie stAchELbeeR schon schreibt, das eingefügte schließende Tag hilft ihm ja nicht viel, wenn er doch noch manuell das '<' (bzw. '|') durch ein '>' ersetzen muss und dabei noch ein zweites schließendes Tag erhält. Wenn also aus "<p<" automatisch "<p></p>" würde, dann wäre das tatsächlich ein Feature.

Und dass Leute, die kein reines HTML verwenden, sondern zwischendrin auch PHP etc. einsetzen, das Feature "End-Tag anfügen..." mit Vorsicht einsetzen sollten, ist ja klar, unabhängig davon, ob das Tag nur bei '>' oder auch bei '<' und '|' eingefügt wird.