RJ TextEd

It's not a bug, but rather an inconsistency: HTML tags are folded differently than XML tags: Is there a reason for this? Perhaps XML tags could be folded the same way as HTML ones, so that the closing tag would not be visible? In both PHP and JS highlighters folding is done the same way as in HTML, so the last line of the fold isn't displayed, either.

Folding in XML is entirely indention based. So folding may end one line above the end tag. Including the end tag in the fold could cause other issues e.g. if the line contain another start tag. In HTML some tags are named and the end tag is included.