This is a simple patch to invalidate (un)commented lines.
I'm not familiar with the TextArea code, si I'd appreciate a review.
line-comment is not affected, since its syntax highlighting is not context-sensitive so only visible lines need to be repainted, which is already done.
Fixes [#2732]
Diff:
This does not seem to solve the problem. The relevant lines are already invalidated as a result of the final
selectNone()
which callsinvalidateSelectedLines
. (But since you made me look into it there is now patch [#580])Related
Patches:
#580yes ideed, my patch doesn't seem to help.
yours (#580) seems to work.
Steps to reproduce:
1. open jEdit/build.xml
2. select from <project to </description
3. scroll down to hide <project but="" show="" \<="" description="" 4.="" edit=""> Code > Range comment
5. no syntax highlighting of the comment</project>