Closed bhcleek closed 7 months ago
Fix same id highlighting of identifiers that are at the very end of a line.
Fixes #3605
Good job, yet again…
Fix same id highlighting of identifiers that are at the very end of a line.
Fixes #3605