Report issues, odd behaviors or submit a detailed bug report.
2 posts • Page 1 of 1
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.
Alium tibi quaere fratrem; hic, quem tuum putas, meus est. Titus Flāvius Caesar Vespasiānus Augustus
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.
Code: Select all