Skip to content

Fixing the region highlighting problem for issue #12

username-removed-509449 requested to merge 12-first-token-after-region-gets-highlighted-as-if-within-region into master

Closes #12 (closed)

Merge request reports