Closed theobayard closed 3 years ago
This closes issue #164. Also, the highlighting looks so much better now. No more highlighting spaces and punctuation, just pure tokens
This closes issue #164. Also, the highlighting looks so much better now. No more highlighting spaces and punctuation, just pure tokens