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